<--- Back to Details
First PageDocument Content
Propositional calculus / Logical truth / Formal languages / Logical syntax / Principia Mathematica / Emil Leon Post / Type theory / Entscheidungsproblem / Tautology / Logic / Mathematics / Mathematical logic
Date: 2009-01-22 01:11:43
Propositional calculus
Logical truth
Formal languages
Logical syntax
Principia Mathematica
Emil Leon Post
Type theory
Entscheidungsproblem
Tautology
Logic
Mathematics
Mathematical logic

Volume5-11-Urquhart.dvi

Add to Reading List

Source URL: www.ualberta.ca

Download Document from Source Website

File Size: 326,57 KB

Share Document on Facebook

Similar Documents

Computer science / Theory of computation / Church–Turing thesis / Computable function / Halting problem / Entscheidungsproblem / Turing machine / Emil Leon Post / Computable number / Theoretical computer science / Computability theory / Mathematics

Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of

DocID: 10pNI - View Document

Propositional calculus / Logical truth / Formal languages / Logical syntax / Principia Mathematica / Emil Leon Post / Type theory / Entscheidungsproblem / Tautology / Logic / Mathematics / Mathematical logic

Volume5-11-Urquhart.dvi

DocID: 1s88 - View Document