The first and most elementary construction of real numbers – by Karl Weierstraß. (English) Zbl 1521.01016
Reviewer: Symon Serbenyuk (Kyïv)
Found 30 Documents (Results 1–30)
Abstraction by embedding and constraint-based design. (English) Zbl 1527.01038
Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2019–2020 volume. Cham: Birkhäuser. Ann. Can. Soc. Hist. Philos. Math./Soc. Can. Hist. Philos. Math., 129-166 (2022).
MSC:
00A30
Proofs as objects. (English) Zbl 07633001
Ferreira, Fernando (ed.) et al., Axiomatic thinking I. Cham: Springer. 165-183 (2022).
What is a logical theory? On theories containing assertions and denials. (English) Zbl 1525.03054
MSC:
03B22
Dual axiomatics. (English) Zbl 07910494
Matthews, Michael R. (ed.), Mario Bunge. A centenary festschrift. Cham: Springer. 633-642 (2019).
MSC:
03-XX
Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting. (English) Zbl 1427.03005
How mathematical impossibility changed welfare economics: a history of Arrow’s impossibility theorem. (English) Zbl 1422.91028
Reviewer: Antonín Slavík (Praha)
Is there a “Hilbert thesis”? (English) Zbl 1428.03021
Reviewer: Roman Murawski (Poznań)
Abstraction, axiomatization and rigor: Pasch and Hilbert. (English) Zbl 1429.00007
Hellman, Geoffrey (ed.) et al., Hilary Putnam on logic and mathematics. Cham: Springer. Outst. Contrib. Log. 9, 161-178 (2018).
Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen’s centenary. The quest for consistency. (English) Zbl 1378.00074
Book review of: B. Riemann, Über die Hypothesen, welche der Geometrie zu Grunde liegen; D. Hilbert, Grundlagen der Geometrie (Festschrift 1899). (English) Zbl 1378.00070
Historical face of number theory(ists) at the turn of the 19th century. (English) Zbl 1370.01014
Steuding, Jörn (ed.), Diophantine analysis. Course notes from a summer school, Würzburg, Germany, July 21–24, 2014. Basel: Birkhäuser/Springer (ISBN 978-3-319-48816-5/hbk; 978-3-319-48817-2/ebook). Trends in Mathematics, 175-229 (2016).
Reviewer: Antonín Slavík (Praha)
Bridging the gap between analytic and synthetic geometry: Hilbert’s axiomatic approach. (English) Zbl 1384.03007
On the motives for proof theory. (English) Zbl 1429.03002
Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 121-145 (2015).
Mathematics made in Germany: on the background to Hilbert’s Paris lecture. (English) Zbl 1284.01034
Reviewer: Franz Lemmermeyer (Jagstzell)
MSC:
01A55
Hilbert, logicism, and mathematical existence. (English) Zbl 1202.03004
Reviewer: Gregor Nickel (Siegen)
The seven virtues of simple type theory. (English) Zbl 1149.03012
MSC:
03B15
The “Zeitschrift für die Grundlagen der gesamten Mathematik”. The failure of a journal project from the year 1908. (Die Zeitschrift für die Grundlagen der gesamten Mathematik. Ein gescheitertes Zeitschriftenprojekt aus dem Jahre 1908.) (German) Zbl 1119.01019
Reviewer: Karl-Heinz Schlote (Leipzig)
Hilbert’s paradox. (English) Zbl 0996.01012
Reviewer: Ivor Grattan-Guinness (Bengeo/Herts)
David Hilbert and the axiomatization of physics (1894–1905). (English) Zbl 0890.01011
Reviewer: K.Reich (Wentorf)
Hilbert’s logic. From axiomatics to proof theory. (Hilberts Logik. Von der Axiomatik zur Beweistheorie.) (German) Zbl 0908.01010
Reviewer: V.V.Pambuccian (Phoenix)
Peano’s axioms in their historical context. (English) Zbl 0835.01006
Reviewer: V.Peckhaus (Erlangen)
MSC:
01A55
Effectiveness and provability. (English) Zbl 0811.03041
Foundations for analysis and proof theory. (English) Zbl 0547.01013
Reviewer: I.Grattan-Guinness
Filter Results by …
Document Type
- Journal Articles (24)
- Collection Articles (6)
all
top 5
Author
- Sieg, Wilfried (4)
- Detlefsen, Michael E. (3)
- Kahle, Reinhard (3)
- Peckhaus, Volker (3)
- Rowe, David E. (2)
- Blasio, Carolina (1)
- Błaszczyk, Piotr (1)
- Buldt, Bernd (1)
- Caleiro, Carlos (1)
- Corry, Leo (1)
- Eder, Günther (1)
- Farmer, William M. (1)
- Ferreirós, José (1)
- Fila, Marlena (1)
- Franchella, Miriam (1)
- Giovannini, Eduardo N. (1)
- Lützen, Jesper (1)
- Marcos, João (1)
- Oswald, Nicola (1)
- Schiemer, Georg (1)
- Schirn, Matthias (1)
- Segre, Michael (1)
- Smadja, Ivahn (1)
- Sofer, Miguel (1)
- Spalt, Detlef D. (1)
all
top 5
Serial
- Synthese (5)
- Arch. Hist. Exact Sci. (2)
- Jahresber. Dtsch. Math.-Ver. (2)
- Math. Semesterber. (2)
- Hist. Math. (2)
- Z. Angew. Math. Phys. (1)
- Math. Intell. (1)
- Rend. Semin. Mat. Fis. Milano (1)
- Stud. Log. (1)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (1)
- Hist. Philos. Log. (1)
- Arch. Math. Logic (1)
- NTM (N.S.) (1)
- J. Appl. Log. (1)
- Rev. Symb. Log. (1)
- Axiomathes (1)
all
top 3
Biographic Reference
- Hilbert, David (4)
- Hurwitz, Adolf (1)
- Hurwitz, Julius (1)
- Peano, Giuseppe (1)
- Weierstraß, Karl (1)
