Search results for "completeness theorem"

showing 4 items of 14 documents

Formālisms kā reālās matemātikas filozofija: 14 argumenti

2015

Referāts Latvijas Universitātes 73.zinātniskajā konferencē 2015.gada 13.februārī.

formalismfoundations of mathematics:MATHEMATICS [Research Subject Categories]:HUMANITIES and RELIGION [Research Subject Categories]incompleteness theoremsaxiomatic set theoryplatonism
researchProduct

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

Introduction to Mathematical Logic, Edition 2021

2021

Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).

resolution methodHerbrand's theoremmodel theoryComputer Science::Logic in Computer Sciencepredicate logicmathematical logic:MATHEMATICS::Algebra geometry and mathematical analysis::Mathematical logic [Research Subject Categories]propositional logictableaux methodcompleteness theorems
researchProduct