Home > Science > Mathematics > Foundations of Mathematics > Educational Resources
Web Sites
Logic Software from CSLI
www-csli.stanford.edu/hp/ reviews
This page describes the text/software packages Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic.
www-csli.stanford.edu/hp/ reviewsSet theory www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html reviews
A history of set theory Algebra index History Topics Index The history of set theory is rather different from the history of most other areas of mathematics. For most areas a long process can usually be traced in which ideas evolve until an ultimate flash of inspiration, often by a number of mathematicians almost simultaneously, produces a discovery of major importance. Set theory however is ...
www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html reviewsThe Daily Translation -- University of Northern Colorado www.univnorthco.edu/philosophy/trans.html reviews
A new translation problem every day for students of first-order logic.
www.univnorthco.edu/philosophy/trans.html reviewsThe Logic Machine logic.tamu.edu/ reviews
CLICK ON IMAGE MAP OR USE LINKS BELOW | LOGIC PRIMER | Daemon Proofchecker | Quizmaster | Colin Allen | Chris Menzel | Texas A&M Philosophy Department 2001 ...
logic.tamu.edu/ reviewsFormal Methods Educational Resources www.cs.indiana.edu/formal-methods-education/ reviews
Formal Methods Educational Resources Formal Methods Education Resources Course Pages Tools Position Papers Reading Materials Instructional Materials Benchmarks and Examples General Formal Methods Repository Employment Submit to the Repository Welcome to the formal methods educational resources page. This site serves as a repository for information related to formal methods in education, ...
www.cs.indiana.edu/formal-methods-education/ reviewsHector Parr's Essays: Infinity www.c-parr.freeserve.co.uk/hcp/infinity.htm reviews
Logical and cosmological implications of the concept of infinity ...
www.c-parr.freeserve.co.uk/hcp/infinity.htm reviewsHector Parr's Essays: Conditionals and Counterfactuals www.c-parr.freeserve.co.uk/hcp/if.htm reviews
The word IF has been interpreted in various ways by philosophers. This essay considers some of the problems.
www.c-parr.freeserve.co.uk/hcp/if.htm reviewsGoedel's Theorem and Information www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html reviews
G del's Theorem and Information International Journal of Theoretical Physics 22 (1982), pp. 941-954 Gregory J. Chaitin IBM Research, P.O. Box 218 Yorktown Heights, New York 10598 Abstract G del's theorem may be demonstrated using arguments having an information-theoretic flavor. In such an approach it is possible to argue that if a theorem contains more information than a given set of axioms, ...
www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html reviewsMain Game Page www.math.usf.edu/~mccolm/RGintro.html reviews
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
www.math.usf.edu/~mccolm/RGintro.html reviewsCMPUT 272 Home Page ugweb.cs.ualberta.ca/~c272/ reviews
ugweb.cs.ualberta.ca/~c272/ reviewsLogic, 8 www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html reviews
Introduction to Logic and Recursion Theory This is a transcription of relevant notes from the class 18.511 taught by Prof. Sacks in the Spring of 1998, organized and reinterpreted. Homework problems starting with problem 9 are solved in vitro. Notation is indecipherable. - Edward Boyden Propositional Calculus Propositional calculus is an example of a formal system. One must specify atomic ...
www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html reviewsMathematical Logic. Around Goedel's Theorem. By K.Podnieks www.ltn.lv/~podnieks/ reviews
Two hyper-textbooks for students ...
www.ltn.lv/~podnieks/ reviewsMathematics, Logic & Education www.mathsboost.com/ reviews
Mathematics, maths, math, logic education. Math puzzles, software, games, test and more. ...
www.mathsboost.com/ reviews