Search results for "Incompletene"

showing 2 items of 12 documents

What is Mathematics: Gödel's Theorem and Around (Edition 2015)

2015

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.

foundations of mathematics:MATHEMATICS [Research Subject Categories]MathematicsofComputing_GENERALComputingMilieux_COMPUTERSANDEDUCATIONincompleteness theoremsmathematical logicaxiomatic set theoryHilbert's Tenth problemfirst order arithmetic
researchProduct

What is Mathematics: Gödel's Theorem and Around (Edition 2013)

2013

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.

foundations of mathematicsincompleteness theoremmathematical logicGödelGoedel
researchProduct