History


Help on query formulation
first | previous | 1 | next | last

Result 1 to 19 of 19 total

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
1
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
2
Gödel’s incompleteness and consistency theorems elucidated with principles of abstraction levels, complementarity, and self-reference. (English)
Philos. Math. Educ. J. 27, 25 p., electronic only (2013).
Classification: E30 E20
3
Mathematics masterclass: is mathematics discovered or invented? (English)
Math. Sch. (Leicester) 40, No. 3, 30-34 (2011).
Classification: E23
4
Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics. (English)
Log. Univers. 5, No. 1, 21-73 (2011).
Classification: E25 A35 Reviewer: Roman Murawski (Poznań)
5
The greatest mysteries of mathematics. IX. What is mathematics? (Die größten Rätsel der Mathematik. IX. Was ist Mathematik?) (German)
Spektrum Wiss. 2009, No. 6, 72-78 (2009).
Classification: E20 A30 E30 E60
6
The space of mathematics. Philosophical, epistemological, and historical explorations. Der Raum der Mathematik. Philosophische, epistemologische und historische Untersuchungen. (English)
Berlin: de Gruyter. 1992. 438 p. Ser. Title: Grundlagen der Kommunikation und Kognition: Bibliotheksausgabe. Foundations of communication and cognition: Library edition. [ISBN 3-11-013249-4]
Classification: E20 A60
7
Revolutions in mathematics. Revolutionen in der Mathematik. (English)
Oxford: Clarendon Press. 1992. 363 p. Ser. Title: Oxford science publications. [ISBN 0-19-853940-1]
Classification: A30
8
Logic in lower secondary schools. La logica nella scuola media. Logik in der Sekundarstufe 1. (Italian)
Insegn. Mat. Sci. Integrate. (Feb 1989) v. 12(2) p. 261-270.
Classification: E33 D43
9
Pythagoras revived. Mathematics and philosophy in late antiquity. Pythagoras lebendig. Mathematik und Philosophie in der Spaetantike. (English)
Oxford: Clarendon Press. 1989. 259 p. [ISBN 0-19-824485-1]
Classification: E20 A30
10
Foundation for mathematics of quality. Grundlegung einer Mathematik der Qualitaeten: Zahl - Zeichen - Spur - Tao. (German)
Bern: Lang. 1986. 207 p. [ISBN 3-8204-9168-6]
Classification: E20
11
Non-anticipatory proof, from which it appears that the mean value theorem is an axiom. Unvorgreiflicher Beweis, woraus erhellet, dass der Zwischenwertsatz ein Axiom ist. (German)
Jan 1986. 53 p. Ser. Title: Technische Hochschule Darmstadt. Preprint. no. 959.
Classification: E10 I20
12
Possibility of construction as proof and as didactical principle. Konstruierbarkeit als Beweiskriterium und als didaktisches Prinzip. (French)
Mathematikunterricht. (Jan 1985) v. 31(1) p. 31-48. [ISSN 0025-5807]
Classification: D40 E50
13
The role of the individual in mathematics texts. Die Rolle des Individuums in mathematischen Texten. (English)
Proceedings of the eighth international conference for the psychology of mathematics education. Proceedings der achten internationalen Konferenz ueber Psychologie und Mathematikunterricht. Editor(s): Southwell, B.; Eyland, R.; Cooper, M.; Conroy, J.; Collis, K. International Group for the Psychology of Mathematics Education 1984 . p. 469-477 of 522 p. Copy held by FIZ Karlsruhe. Conference: 8. Conference of the International Group for the Psychology of Mathematics Education (PME-8), Sydney (Australia), 16-19 Aug 1984
Classification: E20 U20 D10
14
The finite point of view in Hilbert’s programme on the philosophy of mathematical cognition. Der finite Standpunkt in Hilbert’s Programm zur Philosophie der mathematischen Erkenntnis. (German)
Philosophy of mathematical cognition. Zur Philosophie der mathematischen Erkenntnis. Editor(s): Boerger, E.; Barnocchi, D.; Kaulbach, F. Wuerzburg, Germany, F.R.: Koenigshausen und Neumann. 1981. p. 11-25 of 159 p. [ISBN 3-88479-022-6]
Classification: E20 E10
15
The logical foundation-laying of dialectics. A contribution to the exact reasoning of speculative philosophy. Die logische Grundlegung der Dialektik. Ein Beitrag zur exakten Begruendung der spekulativen Philosophie. (German)
Muenchen, Germany, F.R.: Fink. 1980. 147 p. [ISBN 3-7705-1826-8]
Classification: E20 E10
16
Metamathematics. Metamathematik. (German)
Zuerich, Switzerland: Bibliographisches Inst. 1980. 175 p. 2. ed. [ISBN 3-411-01574-8]
Classification: E15
17
Descriptive set theory. Deskriptive Mengenlehre. (English)
New York: North-Holland. 1980. 648 p. Ser. Title: Studies in logic and the foundations of mathematics. v. 100. [ISBN 0-444-85305-7]
Classification: E15 E65
18
Mathematics and computer science. Mathematik und Informatik. (German)
Interactions between computer science and mathematics. Wechselwirkungen zwischen Informatik und Mathematik. Editor(s): Doerfler, W.; Schauer, H. Vienna, Austria: Oldenbourg. 1980. p. 17-39 of 236 p. Ser. Title: Schriftenreihe der Oesterreichischen Computer Gesellschaft. v. 9. [ISBN 3-7029-0148-9]
Classification: P10
19
first | previous | 1 | next | last

Result 1 to 19 of 19 total

Valid XHTML 1.0 Transitional Valid CSS!