This page describes the text/software packages Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic.
Axiom of Choice ...
math.vanderbilt.edu/~schectex/ccc/choice.html
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
A new translation problem every day for students of first-order logic.
www.univnorthco.edu/philosophy/trans.html
CLICK ON IMAGE MAP OR USE LINKS BELOW | LOGIC PRIMER | Daemon Proofchecker | Quizmaster | Colin Allen | Chris Menzel | Texas A&M Philosophy Department 2001 ...
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
Logical and cosmological implications of the concept of infinity ...
www.c-parr.freeserve.co.uk/hcp/infinity.htm
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
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
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
www.math.usf.edu/~mccolm/RGintro.html
ugweb.cs.ualberta.ca/~c272
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
Two hyper-textbooks for students ...