Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Ladda ner
Snabbare tillgång än webbläsare!
 

Emil L. Post

Index Emil L. Post

Emil L. Post, född den 11 februari 1897 i den polska staden Augustów i det ryska kejsardömet, död den 21 april 1954 i USA, var en amerikansk logiker och matematiker.

4 relationer: Fullständighet (logik), Metamatematik, Satslogik, Tautologi (logik).

Fullständighet (logik)

Ett axiomatiskt uppbyggt system eller ett formellt system är fullständigt, om allt det, som man önskar skall vara ett teorem i systemet också är ett teorem.

Ny!!: Emil L. Post och Fullständighet (logik) · Se mer »

Metamatematik

Metamatematik är studiet av matematiken själv genom matematiska metoder.

Ny!!: Emil L. Post och Metamatematik · Se mer »

Satslogik

Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.

Ny!!: Emil L. Post och Satslogik · Se mer »

Tautologi (logik)

Tautologi är en benämning på en sats inom satslogiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler.

Ny!!: Emil L. Post och Tautologi (logik) · Se mer »

Omdirigerar här:

Emil Post.

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »