Indice
18 relazioni: Algoritmo, Alonzo Church, Cassius Jackson Keyser, Emilio, Frits Staal, Logica polivalente, Macchina B di Wang, Macchina di Turing, Morti il 21 aprile, Morti nel 1954, Nati l'11 febbraio, Nati nel 1897, Persone di nome Emil, Storia della nozione di funzione matematica, Tabella della verità, Tesi di Church-Turing, Turing riduzione, Wang Hao (logico).
Algoritmo
In matematica e informatica un algoritmo è la specificazione di una sequenza finita di operazioni (dette anche istruzioni) che consente di risolvere tutti i quesiti di una stessa classe o di calcolare il risultato di un'espressione matematica.
Vedere Emil Leon Post e Algoritmo
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 Emil Leon Post e Alonzo Church
Cassius Jackson Keyser
Gli studi universitari di Keyser furono presso la North West Ohio Normal School (ora Ohio Northern University). Nel 1885 sposò una studentessa compagna di corso alla North West Ohio Normal School, Ella Maud Crow di Ridgeway, Ohio.
Vedere Emil Leon Post e Cassius Jackson Keyser
Emilio
.
Vedere Emil Leon Post e Emilio
Frits Staal
Dopo gli studi giovanili di matematica, fisica e filosofia presso la Università di Amsterdam, Johan Frederik Staal, universalmente poi noto col soprannome di Frits, continuò i suoi studi di filosofia indiana e sanscrito presso la Benares Hindu University e la University of Madras, dove si addottorò nel 1957.
Vedere Emil Leon Post e Frits Staal
Logica polivalente
Le logiche polivalenti sono estensioni della logica classica in cui sono presenti più valori di verità rispetto ai canonici vero, falso e pertanto in esse non vale il principio del terzo escluso.
Vedere Emil Leon Post e Logica polivalente
Macchina B di Wang
La macchina B di Wang, enunciata dal logico e matematico Wang Hao, è un modello computazionale estremamente semplice, equivalente alla macchina di Turing.
Vedere Emil Leon Post e Macchina B di Wang
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.
Vedere Emil Leon Post e Macchina di Turing
Morti il 21 aprile
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Emil Leon Post e Morti il 21 aprile
Morti nel 1954
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Emil Leon Post e Morti nel 1954
Nati l'11 febbraio
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Emil Leon Post e Nati l'11 febbraio
Nati nel 1897
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Emil Leon Post e Nati nel 1897
Persone di nome Emil
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Emil Leon Post e Persone di nome Emil
Storia della nozione di funzione matematica
Il termine funzione è stato introdotto nella matematica da Gottfried Leibniz nel 1694, per denotare una quantità collegata ad una curva, come la pendenza di una curva o uno specifico punto di una curva.
Vedere Emil Leon Post e Storia della nozione di funzione matematica
Tabella della verità
Le tabelle della verità (o tabelle logiche) sono tabelle usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa.
Vedere Emil Leon Post e Tabella della verità
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 in grado di risolverlo (cioè di calcolarlo)».
Vedere Emil Leon Post e Tesi di Church-Turing
Turing riduzione
In teoria della computabilità, una Turing-riduzione da un problema decisionale A ad un problema decisionale B è una macchina oracolo che decide il problema A dato un oracolo per B (Rogers 1967, Soare 1987).
Vedere Emil Leon Post e Turing riduzione
Wang Hao (logico)
Alla fine degli anni '50, Wang Hao inventò un modello computazionale simile alla macchina di Turing: la macchina B di Wang, in cui si semplificava ulteriormente la sequenza di istruzioni utilizzate rispetto al modello già proposto da Emil Leon Post nel 1936.
Vedere Emil Leon Post e Wang Hao (logico)
Conosciuto come Emil Post.