Wolfram Library Archive


	Mathematics > Foundations of Mathematics
	SUBSECTIONS

		Logic (40)

		Philosophy of Mathematics (1)

		Set Theory (15)




	ITEMS

	10 items are in this category. Listing all items:

	Algorithmic Algorithm Synthesis [in MathSource: Packages and Programs] Antique Notations [in Demos] Book Review: Playing with Infinity [in Articles] Classical Mathematics with Mathematica. [in Articles] Computer-Supported Mathematical Theory Exploration [in MathSource: Packages and Programs] The Foundations of Mathematics and Mathematica [in Articles] Höhere Mathematik mit Mathematica, Band 1: Grundlagen, Lineare Algebra [in Books] A New Kind of Science -- Programs from the Notes [in MathSource: Packages and Programs] Theorema: Theorem Proving for the Masses Using Mathematica [in Conference Proceedings] Two Rectangles Are Constructible with Tangrams: An Enumeration Proof Using Mathematica [in Articles]