Indice
20 relazioni: Algoritmo di Davis-Putnam, Alonzo Church, Łódź, Bell Laboratories, Berkeley (California), David Hilbert, DPLL, Hilary Putnam, Julia Robinson, Jurij Vladimirovič Matijasevič, New York, Polonia, Premio Chauvenet, Problemi di Hilbert, RAND Corporation, Teorema di Matijasevič, Università dell'Illinois - Urbana-Champaign, Università della California - Berkeley, Università di New York, Università di Princeton.
Algoritmo di Davis-Putnam
L'algoritmo di Davis-Putnam fu sviluppato da Martin Davis e Hilary Putnam allo scopo di verificare la soddisfacibilità booleana di formule di logica proposizionale in forma normale congiuntiva (CNF).
Vedere Martin Davis e Algoritmo di Davis-Putnam
Alonzo Church
Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica. Dimostrò per primo il cosiddetto paradosso della conoscibilità di Church-Fitch.
Vedere Martin Davis e Alonzo Church
Łódź
Łódź (AFI:; in polacco; e Litzmannstadt durante l'occupazione nazista) è una città polacca di abitanti, capoluogo dell'omonimo voivodato, situata al centro del Paese.
Vedere Martin Davis e Łódź
Bell Laboratories
I Bell Laboratories (noti anche come Bell Labs, Bell, Laboratori Bell, in precedenza denominati AT&T Bell Laboratories e Bell Telephone Laboratories) sono un centro di ricerca e sviluppo, attualmente di proprietà di Nokia.
Vedere Martin Davis e Bell Laboratories
Berkeley (California)
Berkeley (pronunciato) è una cittadina degli Stati Uniti, situata in California, nella Bay Area, a 16 chilometri da San Francisco. È sede di una delle più importanti università del Paese fin dalla sua fondazione avvenuta nel 1868.
Vedere Martin Davis e Berkeley (California)
David Hilbert
Tra i più eminenti ed influenti matematici a cavallo del XIX e XX secolo, diede contributi fondamentali in svariati ambiti della matematica teorica, dall'algebra astratta (con lo sviluppo della teoria dell'invariante e l'inaugurazione dell'algebra commutativa), all'analisi funzionale (con gli apporti al calcolo delle variazioni e la formulazione della teoria spettrale per gli operatori nelle equazioni integrali), alla teoria algebrica dei numeri ed alla geometria (con la sistematizzazione assiomatica della geometria euclidea).
Vedere Martin Davis e David Hilbert
DPLL
DPLL (Davis-Putnam-Logemann-Loveland) è un algoritmo di ricerca esaustiva, basato sul backtracking, utilizzato per decidere la soddisfacibilità booleana di formule di logica proposizionale in forma normale congiuntiva (CNF), problema noto come CNF-SAT.
Vedere Martin Davis e DPLL
Hilary Putnam
Il suo percorso intellettuale si snoda, assumendo varie sfaccettature, attraverso tutta la seconda metà del Novecento. I suoi contributi più celebri riguardano la filosofia della mente e la filosofia del linguaggio, ma negli ultimi vent'anni la sua ricerca ha seguito un disegno più complesso e organico, spaziando dalla metafisica alla filosofia della scienza, per toccare l'etica e in tempi recenti la filosofia della religione (Putnam è tornato all'ebraismo nella seconda metà degli anni settanta).
Vedere Martin Davis e Hilary Putnam
Julia Robinson
Il suo lavoro sul decimo problema di Hilbert (ora noto come teorema di Matiyasevich o teorema MRDP) ha svolto un ruolo cruciale nella sua risoluzione finale.
Vedere Martin Davis e Julia Robinson
Jurij Vladimirovič Matijasevič
Ha dimostrato che il decimo problema di Hilbert è irrisolvibile.
Vedere Martin Davis e Jurij Vladimirovič Matijasevič
New York
New York (IPA:, in inglese americano), spesso chiamata New York City per distinguerla dallo Stato omonimo, e in italiano anche Nuova York, è una città degli Stati Uniti d'America situata nello Stato di New York.
Vedere Martin Davis e New York
Polonia
La Polonia, ufficialmente Repubblica di Polonia (nel linguaggio comune Polska), è uno stato situato nell'Europa centrale, membro dell'Unione europea, della NATO e dell'ONU.
Vedere Martin Davis e Polonia
Premio Chauvenet
Il Premio Chauvenet è un importante riconoscimento per la matematica. Consiste in un premio di e di un certificato e viene assegnato ogni anno dalla Mathematical Association of America in riconoscimento di un eccezionale articolo espositivo su un argomento matematico.
Vedere Martin Davis e Premio Chauvenet
Problemi di Hilbert
I problemi di Hilbert costituiscono una lista di 23 problemi matematici stilata da David Hilbert e presentata l'8 agosto 1900 nella sua conferenza del Congresso internazionale dei matematici svolta a Parigi.
Vedere Martin Davis e Problemi di Hilbert
RAND Corporation
La RAND Corporation è un think tank statunitense. Il nome deriva dalla contrazione di research and development.
Vedere Martin Davis e RAND Corporation
Teorema di Matijasevič
Il teorema di Matijasevič, dimostrato nel 1970 da Jurij Vladimirovič Matijasevič, implica che il decimo problema di Hilbert è irrisolvibile.
Vedere Martin Davis e Teorema di Matijasevič
Università dell'Illinois - Urbana-Champaign
LUniversità dell'Illinois - Urbana-Champaign (o anche solo Università dell'Illinois) è un campus del sistema delle Università dell'Illinois.
Vedere Martin Davis e Università dell'Illinois - Urbana-Champaign
Università della California - Berkeley
L'Università della California - Berkeley, conosciuta anche come UC Berkeley, Berkeley o anche solo Cal, è la più antica e la principale tra le dieci sedi del sistema dell'Università della California: fondata nel 1868; il campus si trova nella zona collinare di Berkeley, di fronte alla baia di San Francisco, estendendosi in parte fino alle colline dell'amministrazione di Oakland.
Vedere Martin Davis e Università della California - Berkeley
Università di New York
L'Università di New York (e in acronimo NYU) è un'università privata con sede a New York. È una delle università più famose e prestigiose del mondo.
Vedere Martin Davis e Università di New York
Università di Princeton
LUniversità di Princeton, situata a Princeton nel New Jersey (Stati Uniti), è una delle più prestigiose università degli Stati Uniti e del mondo, membro della Ivy League.
Vedere Martin Davis e Università di Princeton
Conosciuto come Martin David Davis.