25 relazioni: Assioma, Axel Thue, City College di New York, Columbia University, Computabilità, Dottorato di ricerca, Ebrei, Insieme ricorsivamente enumerabile, Kurt Gödel, Logica proposizionale, MacTutor, Matematica, Mathematics Genealogy Project, Modus ponens, New York, Polonia, Principia Mathematica, Sistema formale, Stati Uniti d'America, Tautologia, Teorema, Università di Princeton, 1931, 1936, 1947.
Assioma
In epistemologia, un assioma è una proposizione o un principio che è assunto come vero perché ritenuto evidente o perché fornisce il punto di partenza di un quadro teorico di riferimento.
Nuovo!!: Emil Leon Post e Assioma · Mostra di più »
Axel Thue
Axel Thue È noto per le sue ricerche in teoria dei numeri e in combinatoria.
Nuovo!!: Emil Leon Post e Axel Thue · Mostra di più »
City College di New York
Il City College of New York (noto semplicemente come City College in linguaggio colloquiale, abbreviato con la sigla CCNY) è uno dei maggiori college della City University of New York (CUNY).
Nuovo!!: Emil Leon Post e City College di New York · Mostra di più »
Columbia University
La Columbia University è una università statunitense privata, facente parte della Ivy League.
Nuovo!!: Emil Leon Post e Columbia University · Mostra di più »
Computabilità
La teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi.
Nuovo!!: Emil Leon Post e Computabilità · Mostra di più »
Dottorato di ricerca
Il dottorato di ricerca è un titolo accademico dell'istruzione superiore in molti paesi del mondo, corrispondente al massimo grado di istruzione universitaria ottenibile.
Nuovo!!: Emil Leon Post e Dottorato di ricerca · Mostra di più »
Ebrei
Gli ebrei (עברי, ʿivrîˈ, anche, Yhudim o jehuˈdim), anche detti popolo ebraico, sono un popolo, o gruppo etnoreligioso,.
Nuovo!!: Emil Leon Post e Ebrei · Mostra di più »
Insieme ricorsivamente enumerabile
Nella teoria della calcolabilità esistono due definizioni di insieme ricorsivamente enumerabile (spesso abbreviato in insieme r.e.) o insieme semi-decidibile.
Nuovo!!: Emil Leon Post e Insieme ricorsivamente enumerabile · Mostra di più »
Kurt Gödel
Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.
Nuovo!!: Emil Leon Post e Kurt Gödel · Mostra di più »
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.
Nuovo!!: Emil Leon Post e Logica proposizionale · Mostra di più »
MacTutor
The MacTutor History of Mathematics archive è un sito web dedicato alla storia della matematica.
Nuovo!!: Emil Leon Post e MacTutor · Mostra di più »
Matematica
La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.
Nuovo!!: Emil Leon Post e Matematica · Mostra di più »
Mathematics Genealogy Project
Il Mathematics Genealogy Project è un progetto volto all'organizzazione sul Web delle informazioni concernenti un insieme il più possibile esteso di persone che hanno ricevuto un dottorato in matematica o un titolo analogo.
Nuovo!!: Emil Leon Post e Mathematics Genealogy Project · Mostra di più »
Modus ponens
Nella logica, il Modus ponens (MP), accorciamento del latino modus ponendo ponens (modo che afferma, letteralmente modo che pone con l'aver posto), è una semplice e valida regola d'inferenza, che afferma in parole: o in notazione con operatori logici: \vdash q dove \vdash rappresenta l'asserzione logica, nota anche come sequente.
Nuovo!!: Emil Leon Post e Modus ponens · Mostra di più »
New York
New York (AFI:, in inglese americano, in italiano conosciuta anche come Nuova York) è una città degli Stati Uniti d'America.
Nuovo!!: Emil Leon Post e New York · Mostra di più »
Polonia
La Polonia, ufficialmente Repubblica di Polonia, (in polacco: Rzeczpospolita Polska, nel linguaggio comune Polska) è uno Stato situato nell'Europa centrale, membro dell'Unione europea, della NATO e dell'ONU.
Nuovo!!: Emil Leon Post e Polonia · Mostra di più »
Principia Mathematica
Principia Mathematica è un'opera sui fondamenti logici della matematica scritta da Alfred North Whitehead e Bertrand Russell.
Nuovo!!: Emil Leon Post e Principia Mathematica · Mostra di più »
Sistema formale
In logica matematica la nozione di sistema formale è utilizzata per fornire una definizione rigorosa del concetto di dimostrazione.
Nuovo!!: Emil Leon Post e Sistema formale · Mostra di più »
Stati Uniti d'America
Gli Stati Uniti d'America (in inglese: United States of America o anche solo United States; in sigla USA o anche solo U.S.), comunemente indicati come Stati Uniti e impropriamente con la sineddoche "America", sono una repubblica federale composta da cinquanta Stati e un distretto federale.
Nuovo!!: Emil Leon Post e Stati Uniti d'America · Mostra di più »
Tautologia
Una tautologia (dal greco ταυτολογία, composto di ταὐτό lo stesso — τό lo e αὐτό stesso — e λογία per λόγος discorso), in logica, è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo.
Nuovo!!: Emil Leon Post e Tautologia · Mostra di più »
Teorema
Un teorema è una proposizione che, a partire da condizioni iniziali arbitrariamente stabilite, trae delle conclusioni, dandone una dimostrazione.
Nuovo!!: Emil Leon Post e Teorema · Mostra di più »
Università di Princeton
L'Università di Princeton, situata a Princeton nel New Jersey (Stati Uniti), è una delle maggiori università della Ivy League ed è riconosciuta come una delle più prestigiose università nel mondo.
Nuovo!!: Emil Leon Post e Università di Princeton · Mostra di più »
1931
Nessuna descrizione.
Nuovo!!: Emil Leon Post e 1931 · Mostra di più »
1936
Nessuna descrizione.
Nuovo!!: Emil Leon Post e 1936 · Mostra di più »
1947
Nessuna descrizione.
Nuovo!!: Emil Leon Post e 1947 · Mostra di più »