Frege and Gödel : two fundamental texts in mathematical logic

Type:

boek

Titel:

Frege and Gödel : two fundamental texts in mathematical logic

Auteur:

Gödel, Kurt; Van Heijenoort, Jean; Frege, Gottlob

Jaar:

1970

Onderwerp:

Logic, Symbolic and mathematical
Mathematics Philosophy
Frege, Gottlob
Gödel, Kurt
Wiskundige logica

Taal:

Engels

Uitgever:

Cambridge (Mass.) : Harvard university press, 1970

Plaatsnummer:

GUISL.VDB 510.77 (Museum Dr. Guislain)

ISBN:

0674318447

Paginering:

116 p. : illus. ; 26 cm. + errata

Samenvatting:

Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116)

Nota:

"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."

Permalink:

https://www.cageweb.be/catalog/cgw01:000829272