Martin Flashman's Logic and Set Theory Web Surfing Page

Curently under construction. 1/12/98

WEB SURFING TOOLS AND SITES-CAVEAT: Use at your own risk :)

Latest major changes: Jan. 12, 1998

Logic
Set Theory
Turing Machines
Major References, Searches (Math)
History
Gen'l Math including math ed
Return to Math 446 Logic and Set Theory

E-Mail: flashman@axe.humboldt.edu

Logic:

Mathematical Logic around the world
Association for Symbolic Logic
LogicAL: An excellent resource for links.
Gateway to Logic Some excellent logic software on-line from Germany
A. Selby's home page:much interesting stuff on education, logic, algebra, and more.
Situation Puzzles
Proofs in Mathematics (YES!!)
Mathematics as a language
Paradoxes and Logic Puzzles
MATH 558, Foundations of Mathematics I atPenn State
Nordic Journal of Philosophical Logic
Proof Newsletter (and Bibliography) January/February 1997
Current Proof Newsletter
readings on Constructivism and allied issues.
The Mathematical Atlas 03: Mathematical logic and foundations
Mathematical Logic. Around Goedel's Theorem. By K.Podnieks two hyper-textbooks in mathematical logic including an Introduction to Mathematical Logic. ...
MATHS 315 Mathematical Logic (University of Aukland) Handouts etc. for logic and set theory that parallel Hamilton's textbook Logic for Mathematicians.
Factasia Logic
Logic software
Proof Designer Software (very well designed for developing proofs - by Daniel J. Velleman, Amherst College)
An outline of the proof of Goedel's Incompleteness Theorem

** Back to the top of the references :)

Set Theory:

ProvenMath.
The Beginnings of Set Theory
Zorn's lemma proof plus...(K. Brown @ Cornell) - Another proof
What is a Number?, by A. Bogomolny
Relevance of the Axiom of Choice (Waterloo)
The Axiom of Choice and The Continuum Hypothesis (Waterlo, Canada)
AROUND GOEDEL'S THEOREM Give a glance or more at this very thorough Hyper-textbook for students in mathematical logic by Karlis Podnieks, podnieks@cclu.lv University of Latvia

Turing Machines:

Turing Machine:Stanford Encyclopedia of Philosophy
Turing Machines - AMS link
Virtual Turing Machine
Busy Beaver Turing Machine
Turing Machine Simulators (Links)

** Back to the top of the references :)

Reference Materials - for searches and Quick Math Stuff

** Back to the top of the references :)

History of Math:

** Back to the top of the references :)

General Math of interest (including Math Ed):

** Back to the top of the references :)