Descrizione posizione

Titolo del progetto di ricerca in italiano	Logica e complessità
Titolo del progetto di ricerca in inglese	Logic and complexity
Descrizione sintetica in italiano	La ricerca si colloca nel solco degli studi sui fondamenti della logica e della matematica, con particolare riferimento all’analisi del ruolo dei quantificatori negli enunciati formali. Si tratterà di analizzare da un punto di vista computazionale teoremi matematici del tipo “per ogni x in X esiste un y in Y tale che R(x,y)”, per X e Y spazi rappresentati, ovvero valutare la complessità computazionale insita nella costruzione di un tale y sulla base dell’informazione contenuta nella descrizione di x. Occorrerà individuare quali processi di elaborazione di informazione una macchina di Turing dovrebbe avere a disposizione per esibire testimoni che instanzino il quantificatore esistenziale in oggetto. Si dovranno poi indagare le relazioni sussistenti fra questo approccio e quello assiomatico di Hilbert e della reverse mathematics. [...]
Descrizione sintetica in inglese	The research is in the mainstream of foundational studies of logic and mathematics and it is focused on the analysis of the role of the quantifiers in formal sentences. The research project aims to evaluate from a computational perspective mathematical theorems of the form “for every x in X there exists a y in Y such that R(x,y), where X and Y are represented spaces. The computational complexity involved in the construction of such a y by elaborating the information contained in the description of x has to be evaluated. The problem is to determine which information elaboration processes a Turing machine should have at its disposal in order to produce witnesses for the existential quantifier under consideration. The relationships between this approach and the axiomatic one in the style of Hilbert and of the reverse mathematics will have to be investigated. [...]
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	18/06/2015

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Other
Organizzazione/Ente	ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA
Paese (dove si svolgerà l'attività)	ITALY
Città	BOLOGNA

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA
Tipo	Academic
Paese	ITALY
Città	BOLOGNA
E-mail	apos.ricercatoritempodeterminato@unibo.it
Sito web	http://www.unibo.it/it/ateneo/concorsi-e-selezioni/bandi-ricercatore-a-tempo-determinato#!

 

Dettagli per la candidatura

Data di scadenza del bando	20/07/2015 - alle ore 23:59
Come candidarsi	Other

 

Titoli di studio richiesti

Laurea	PhD or equivalent
Ambito della laurea	Philosophy

 

Esperienze di ricerca richieste

Campo principale della ricerca	Philosophy
Sottocampo della ricerca
Anni di esperienza richiesti	3

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Good