Descrizione posizione

Titolo del progetto di ricerca in italiano	Uso di strumenti logico-formali per lo studio della storia della matematica
Titolo del progetto di ricerca in inglese	The use of formal tools for the study of the history of mathematics
Descrizione sintetica in italiano	La logica è uno strumento essenziale per la comprensione del concetto di dimostrazione matematica e più in generale per la regimentazione e comprensione delle procedure razionali. Queste sue applicazioni sono risultate importanti sia nello studio della storia della matematica, ad esempio per la comprensione dell’antica geometria greca, che in campo informatico, ad esempio per una penetrazione più profonda del rapporto tra intelligenza umana e intelligenza meccanica. Il Candidato dovrà promuovere queste applicazioni della logica con particolare riguardo sia alla dimostrazione in geometria, sia alla comprensione del rapporto tra intelligenza umana e intelligenza meccanica.
Descrizione sintetica in inglese	Logic is an essential tool to understand the notion of mathematical proof and, more in general, it is essential to regiment and understand rational procedures. These applications of logic have proved important in the study of the history of mathematics (e.g. Greek geometry) as well as in computer science (e.g. shedding light on the relationship between human and mechanical intelligence). The Candidate will be expected to focus on such applications. In particular, s/he will have to focus on the notion of proof in geometry, as well as on deepening our understanding of the relationship between human and mechanical intelligence.
Numero posti	1
Settore Concorsuale	11/C2 - LOGICA, STORIA E FILOSOFIA DELLA SCIENZA
S.S.D	M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA
Destinatari del bando (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	21/12/2020

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Other
Organizzazione/Ente	Università degli Studi di Urbino Carlo Bo
Paese (dove si svolgerà l'attività)	ITALY
Città	Urbino

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università degli Studi di Urbino Carlo Bo
Tipo	Academic
Paese	ITALY
Città	Urbino
E-mail	amministrazione.reclutamento.pdoc@uniurb.it
Sito web	http://www.uniurb.it/rtd

 

Dettagli per la candidatura

Data di scadenza del bando	15/02/2021

 

Titoli di studio richiesti