Emil Post
Post [poust], Emil, 1897–1954, polsk-amerikansk matematiker och logiker.
Post var en föregångsman inom matematikens grundvalar med sina studier från 1920-talet av avgörbarheten hos logiska system. Vidare framlade han 1936 en beräkningsmodell, Post-maskinen, som är ekvivalent med konstruktioner som beskrivits av Turing och Church.
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.