Help on query formulation
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 606 total

Infinitely different infinities. (Unendlich unterschiedliche Unendlichkeiten.) (German)
Monoid 36, No. 126, 8-11 (2016).
Classification: E60 F50
1
Paul Cohen ‒ axiom of choice and continuum hypothesis. (Paul Cohen ‒ Auswahlaxiom und Kontinuumshypothese.) (German)
Wurzel 50, No. 6, 118-121 (2016).
Classification: A30 E60 F30 F50
2
Analysis zero. (English)
Kilcock: Logic Press (ISBN 978-1-326-41433-7/hbk; 978-1-326-41581-5/pbk). vi, 153~p. (2015).
Classification: I15 E65 Reviewer: Mauro Garcia Pupo (Bogota)
3
The field of tension between symbols and meaning during the development of the number system. (Das Spannungsfeld zwischen Zeichen und Bedeutung beim Aufbau des Zahlensystems.) (German)
Reinhold, Simone (ed.) et al., Mathematische Studien im Spannungsfeld von Geschichte, Philosophie \& Didaktik der Mathematik. Festschrift für Thomas Bedürftig. Münster: WTM-Verlag (ISBN 978-3-942197-46-5/pbk). Festschriften der Mathematikdidaktik 2, 29-44 (2015).
Classification: F10 A30 D20 C30
4
Through contradictions to knowledge. (Durch Widersprüche zur Erkenntnis.) (German)
Monoid 35, No. 124, 12-15 (2015).
Classification: E50 E30
5
Logic, mathematics, and computer science. Modern foundations with practical applications. 2nd edition, originally published under the title Foundations of logic and mathematics. Applications to computer science and cryptography. (English)
New York, NY: Springer (ISBN 978-1-4939-3222-1/hbk; 978-1-4939-3223-8/ebook). xii, 391~p. (2015).
Classification: E35 E65 E55 M45 M55 Reviewer: Merlin Carl (Konstanz)
6
Some philosophical and logical remarks on the concept of truth (in mathematics). (Einige philosophische und logische Bemerkungen zum Begriff der Wahrheit (in der Mathematik).) (German)
Reinhold, Simone (ed.) et al., Mathematische Studien im Spannungsfeld von Geschichte, Philosophie \& Didaktik der Mathematik. Festschrift für Thomas Bedürftig. Münster: WTM-Verlag (ISBN 978-3-942197-46-5/pbk). Festschriften der Mathematikdidaktik 2, 101-114 (2015).
Classification: E20 E30 A30
7
What is a mathematical proof in the age of modern theorem provers? (English)
Philos. Math. Educ. J. 29, 7 p., electronic only (2015).
Classification: E50 E20 D20 R40
8
Mathematics and logic. (Mathematik und Logik.) (German)
Mathematikunterricht 61, No. 6, 4-9 (2015).
Classification: E30 D30 A30 D20
9
The metaphysics of mathematics. Mathematical model building and metaphysical speculation. (Die Metaphysik der Mathematik. Mathematische Modellbildung und metaphysische Spekulation.) (German)
Mathematikunterricht 61, No. 6, 10-17 (2015).
Classification: E20 G90
10
Facets of the philosophy of mathematics. (Facetten der Mathematikphilosophie.) (German)
Mathematikunterricht 61, No. 6, 2-3 (2015).
Classification: E20 D20 A30
11
On the removal of infinities from divergent series. (English)
Philos. Math. Educ. J. 29, 16 p., electronic only (2015).
Classification: E20 E40 I30
12
Is God a mathematician? (English)
Philos. Math. Educ. J. 29, 7 p., electronic only (2015).
Classification: E20 D20
13
On the ideas behind the contents. (Von den Ideen hinter den Inhalten.) (German)
MNU, Math. Naturwiss. Unterr. 68, No. 6, 323 (2015).
Classification: D20 D30
14
Crossed quadrilaterals: a missed Lakatosian opportunity? (English)
Philos. Math. Educ. J. 29, 6 p., electronic only (2015).
Classification: D20 E20 E40 G40 G90
15
Fostering internal need for proof: a reading of the genesis of proof in ancient Greece. (English)
Philos. Math. Educ. J. 29, 18 p., electronic only (2015).
Classification: D20 E20 E50
16
Searching for a bijection. (English)
Math. Teach. (Derby) 245, 45-47 (2015).
Classification: I20 N70 F60
17
Strictly speaking\dots. (English)
Math. Teach. (Derby) 244, 12-13 (2015).
Classification: E42 E49 E32 E39
18
Variation ‒ a fundamental idea. (Variation ‒ eine fundamentale Idee.) (German)
Mathematikunterricht 61, No. 3, 5-14 (2015).
Classification: E50 G40 A30 D50
19
Rigor and structure. (English)
Oxford: Oxford University Press (ISBN 978-0-19-872222-9/hbk). ix, 215~p. (2015).
Classification: E20 Reviewer: Teun Koetsier (Amsterdam)
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 606 total

Valid XHTML 1.0 Transitional Valid CSS!