A survey of mathematical logic / edited by Hao Wang

Englisch

Dordrecht : Elsevier Science, 1963

Online Ressource (v, 651 pages)

Print version record

0-444-53398-2

978-0-444-53398-2

Weitere Ausgaben: 0-444-53398-2 (Druckausgabe)

Axiomatic methodEighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory.

Axiomatic method -- Eighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory.

*Logic, Symbolic and mathematical ; Electronic books ; Logic, Symbolic and mathematical

*Electronic books ; Logic, Symbolic and mathematical

Klassifikation der Library of Congress: QA9

Dewey Dezimal-Klassifikation: 511.3;

Axiomatic method -- Eighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory

 

Online-Ausg.

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.