×

Found 43 Documents (Results 1–43)

Hilbert’s programme: on the change of mathematical practice before and after Gödel’s incompleteness theorems. (Czech) Zbl 1289.03001

Bečvářová, Martina (ed.) et al., Matematika v proměnách véků. VI. Prague: Matfyzpress (ISBN 978-80-7378-146-0). Dějiny Matematiky / History of Mathematics 45, 175-185 (2010).
MSC:  03-03 01A60 03F40
PDFBibTeX XMLCite
Full Text: Link

Quantitative logic theory in Gödel system. (English) Zbl 1260.03051

Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 303-309 (2010).
MSC:  03B50 68T27
PDFBibTeX XMLCite
Full Text: DOI

The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. (English) Zbl 1237.03005

Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010).
PDFBibTeX XMLCite

Does mathematics need a foundation? A commentary on Part III of Wittgenstein’s “Remarks on the foundations of mathematics”. (Braucht die Mathematik eine Grundlegung? Ein Kommentar des Teils III von Wittgensteins “Bemerkungen über die Grundlagen der Mathematik”.) (German) Zbl 1223.03003

Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03667-8/hbk). xiv, 602 p. (2010).
PDFBibTeX XMLCite

Incomputability in physics. (English) Zbl 1286.03018

Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 276-285 (2010).
PDFBibTeX XMLCite
Full Text: DOI

A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002

Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

Software