42 relazioni: Alan Turing, American Mathematical Society, Assioma della scelta, Bachelor's degree, Booleano di Church, California, Dana Scott, Decidibilità, Dottorato di ricerca, Emil Leon Post, Ernst Zermelo, Georg Cantor, Gian-Carlo Rota, Giuseppe Peano, Hermann Weyl, Informatica teorica, John George Kemeny, John von Neumann, Kurt Gödel, Lambda calcolo, Lisp, Logica matematica, Macchina di Turing, Martin Davis, Metonimia, Michael Rabin, Oswald Veblen, Paradosso della conoscibilità di Fitch, Problema della terminazione, Programmazione funzionale, Raymond Smullyan, Simon Kochen, Solomon Lefschetz, Stephen Kleene, Tesi di Church-Turing, Università di Princeton, Washington, 1924, 1927, 1929, 1936, 1967.
Alan Turing
Il suo lavoro ebbe vasta influenza sullo sviluppo dell'informatica, grazie alla sua formalizzazione dei concetti di algoritmo e calcolo mediante la macchina di Turing, che a sua volta ha svolto un ruolo significativo nella creazione del moderno computer.
Nuovo!!: Alonzo Church e Alan Turing · Mostra di più »
American Mathematical Society
La Società Matematica Americana (AMS) è un'associazione che si dedica ai problemi della ricerca e dell'insegnamento della matematica.
Nuovo!!: Alonzo Church e American Mathematical Society · Mostra di più »
Assioma della scelta
L'assioma della scelta è un assioma di teoria degli insiemi enunciato per la prima volta da Ernst Zermelo nel 1904.
Nuovo!!: Alonzo Church e Assioma della scelta · Mostra di più »
Bachelor's degree
Il bachelor's degree (baccelliere, baccalaureato), o semplicemente bachelor è un titolo accademico rilasciato dal sistema universitario in alcuni paesi anglosassoni e negli USA.
Nuovo!!: Alonzo Church e Bachelor's degree · Mostra di più »
Booleano di Church
In informatica, un booleano di Church è una funzione concettuale che prende in considerazione due parametri di valutazione lazy (come i blocchi o i lambda) e valuta o l'uno o l'altro.
Nuovo!!: Alonzo Church e Booleano di Church · Mostra di più »
California
La California (in spagnolo; in inglese) è uno stato situato nel sud della West Coast, affacciato sull'oceano Pacifico, che occupa una parte dell'omonima regione geografica (la Bassa California appartiene al Messico).
Nuovo!!: Alonzo Church e California · Mostra di più »
Dana Scott
È stato professore emerito di informatica all'Hillman University, filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California.
Nuovo!!: Alonzo Church e Dana Scott · Mostra di più »
Decidibilità
Il concetto di decidibilità si trova in logica matematica e in teoria della computabilità con accezioni differenti.
Nuovo!!: Alonzo Church e Decidibilità · 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!!: Alonzo Church e Dottorato di ricerca · Mostra di più »
Emil Leon Post
Nacque in una famiglia ebrea polacca che emigrò in America quando era ancora bambino.
Nuovo!!: Alonzo Church e Emil Leon Post · Mostra di più »
Ernst Zermelo
Si diplomò al Luisenstädtisches Gymnasium di Berlino nel 1889.
Nuovo!!: Alonzo Church e Ernst Zermelo · Mostra di più »
Georg Cantor
Cantor ha allargato la teoria degli insiemi fino a comprendere al suo interno i concetti di numeri transfiniti, numeri cardinali e ordinali.
Nuovo!!: Alonzo Church e Georg Cantor · Mostra di più »
Gian-Carlo Rota
Nacque a Vigevano da una famiglia di notevole cultura; suo padre Giovanni, ingegnere civile, disponeva di una biblioteca di oltre 5000 volumi.
Nuovo!!: Alonzo Church e Gian-Carlo Rota · Mostra di più »
Giuseppe Peano
Fu l'inventore del latino sine flexione, una lingua ausiliaria internazionale derivata dalla semplificazione del latino classico.
Nuovo!!: Alonzo Church e Giuseppe Peano · Mostra di più »
Hermann Weyl
Tra le personalità più influenti della prima parte del XX secolo, la sua ricerca ha avuto grande rilevanza per molti settori chiave della matematica, a partire dalla teoria dei numeri, e per la fisica teorica.
Nuovo!!: Alonzo Church e Hermann Weyl · Mostra di più »
Informatica teorica
L'informatica teorica è una branca dell'informatica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.
Nuovo!!: Alonzo Church e Informatica teorica · Mostra di più »
John George Kemeny
Nessuna descrizione.
Nuovo!!: Alonzo Church e John George Kemeny · Mostra di più »
John von Neumann
Generalmente considerato come uno dei più grandi matematici della storia moderna oltre ad essere una delle personalità scientifiche preminenti del XX secolo, a lui si devono contributi fondamentali in numerosi campi come la teoria degli insiemi, analisi funzionale, topologia, fisica quantistica, economia, informatica, teoria dei giochi, fluidodinamica e in molti altri settori della matematica.
Nuovo!!: Alonzo Church e John von Neumann · 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!!: Alonzo Church e Kurt Gödel · Mostra di più »
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo.
Nuovo!!: Alonzo Church e Lambda calcolo · Mostra di più »
Lisp
Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.
Nuovo!!: Alonzo Church e Lisp · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: Alonzo Church e Logica matematica · Mostra di più »
Macchina di Turing
In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.
Nuovo!!: Alonzo Church e Macchina di Turing · Mostra di più »
Martin Davis
Di origini polacche, si è laureato nel 1950 nell'Università di Princeton.
Nuovo!!: Alonzo Church e Martin Davis · Mostra di più »
Metonimia
La metonimia (pronunciabile tanto metonimìa, alla greca, quanto metonìmia, alla latina; il termine deriva dal greco μετωνυμία metōnymía, composto da metà "attraverso/oltre" e ònoma "nome", col significato di "scambio di nome") è una figura retorica che consiste nella sostituzione di un termine con un altro che ha con il primo una relazione di vicinanza, attuando una sorta di trasferimento di significato.
Nuovo!!: Alonzo Church e Metonimia · Mostra di più »
Michael Rabin
Categoria:Vincitori del premio Turing.
Nuovo!!: Alonzo Church e Michael Rabin · Mostra di più »
Oswald Veblen
A lui inoltre si deve la dimostrazione del teorema della curva di Jordan nel 1905.
Nuovo!!: Alonzo Church e Oswald Veblen · Mostra di più »
Paradosso della conoscibilità di Fitch
Il paradosso della conoscibilità di Fitch, anche conosciuto come paradosso della conoscibilità di Church-Fitch, dai nomi del logico Alonzo Church che lo dimostrò per primo, e di Frederic Fitch che lo riscoprì rendendolo noto, è uno dei principali rompicapi della logica epistemica.
Nuovo!!: Alonzo Church e Paradosso della conoscibilità di Fitch · Mostra di più »
Problema della terminazione
Il problema della terminazione (dall'inglese Halting problem, tradotto anche con problema dell'arresto o problema della fermata) chiede se sia sempre possibile, descritto un algoritmo e un determinato input finito, stabilire se l'algoritmo in questione termini o continui la sua esecuzione all'infinito.
Nuovo!!: Alonzo Church e Problema della terminazione · Mostra di più »
Programmazione funzionale
In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.
Nuovo!!: Alonzo Church e Programmazione funzionale · Mostra di più »
Raymond Smullyan
Nato a Far Rockaway, nel Queens, uno dei cinque distretti di New York, mostrò fin dalla più tenera età grande interesse per la musica, e specialmente per il pianoforte, che iniziò a suonare all'età di tre anni.
Nuovo!!: Alonzo Church e Raymond Smullyan · Mostra di più »
Simon Kochen
Nessuna descrizione.
Nuovo!!: Alonzo Church e Simon Kochen · Mostra di più »
Solomon Lefschetz
Il 3 settembre 1884 a Mosca, Solomon nacque da Alexander Lefschetz e da Vera, entrambi di cittadinanza turca e di religione ebraica.
Nuovo!!: Alonzo Church e Solomon Lefschetz · Mostra di più »
Stephen Kleene
Kleene fu ancor meglio conosciuto per la fondazione del ramo della logica matematica conosciuta come teoria della ricorsione insieme con Alonzo Church, Kurt Gödel, Alan Turing ed altri, e per l'aver inventato le espressioni regolari.
Nuovo!!: Alonzo Church e Stephen Kleene · Mostra di più »
Tesi di Church-Turing
Nella teoria della calcolabilità la tesi di Church-Turing è un'ipotesi che afferma: "se un problema è umanamente calcolabile, allora esisterà una macchina di Turing (o un dispositivo equivalente, come il computer) in grado di risolverlo (cioè di calcolarlo)." Più formalmente possiamo dire che la classe delle funzioni calcolabili coincide con quella delle funzioni calcolabili da una macchina di Turing.
Nuovo!!: Alonzo Church e Tesi di Church-Turing · 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!!: Alonzo Church e Università di Princeton · Mostra di più »
Washington
Washington D.C. (AFI:; in inglese) è la capitale degli Stati Uniti d'America, con una popolazione di 672 228 abitanti (5 582 170 abitanti nell'area metropolitana).
Nuovo!!: Alonzo Church e Washington · Mostra di più »
1924
Nessuna descrizione.
Nuovo!!: Alonzo Church e 1924 · Mostra di più »
1927
Nessuna descrizione.
Nuovo!!: Alonzo Church e 1927 · Mostra di più »
1929
Nessuna descrizione.
Nuovo!!: Alonzo Church e 1929 · Mostra di più »
1936
Nessuna descrizione.
Nuovo!!: Alonzo Church e 1936 · Mostra di più »
1967
Nessuna descrizione.
Nuovo!!: Alonzo Church e 1967 · Mostra di più »