David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Schlimm, Dirk; Sieg, Wilfried; Hallett, Michael; Majer, Ulrich; Ewald, William

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

06/2013

1062

Dura

Inglês

9783540205784

15 a 20 dias

1974

Descrição não disponível.
Introduction.- Hilbert's Lectures on Principles of Mathematics from 1917-18.- Hilbert's Lectures on the Logical Calculus from 1920.- Chapter 3: Hilbert's Lectures on Problems of Mathematical Logic from 1920.- Hilbert's Lectures on Foundations of Mathematics from 1921-22.- Hilbert's Lectures on Logical Foundations of Mathematics from 1922-23.- Hilbert's Lectures on the Infinite from 1924-25.- Hilbert's Typescript on the Foundations of Thought from c. 1925.- Hilbert's Lecture on Infinity from 1933.- Miscellanea.- Appendix A: Bernays's Habilitation Thesis from 1918.- Appendix B: First Edition of Hilbert and Ackermann, 1928.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Hilbert;MSC (2000): 01A55, 01A60, 01A75, 03-03, 03F99, 03A05, 00A30;arithmetic;foundations;logic;proof theory