 1991 Mathematics Subject Classification (MSC)  Chris Eilbeck; HeriotWatt University, Edinburgh
A hypertext version of the 1991 MSC. The main purpose of the classification is to help readers to find the items of present or potential interest to them as readily as possible  in MR, in Zbl, or anywhere else where this classification system is used.
...more>>
 3TAP (Tableaubased Theorem Prover)  Reiner Hähnle, Bernhard Beckert, Stefan Gerberding
A manyvalued tableaubased theorem prover developed at the University of Karlsruhe. It can be instantiated for arbitrary finitelyvalued firstorder logics, and it can handle equality (twovalued), sorts, and nonclausal input. Source code, a manual,
...more>>
 About Proofs  Math Forum, Ask Dr. Math FAQ
What is a proof? How do you write a twocolumn proof?
...more>>
 ABsurd MAth: Prealgebra from another dimension  Michael Cain; HRM Video; LearningWave Communications
An interactive problemsolving game series where the ultimate power consists of mathematical skill and knowledge. Many pages have hidden clues and areas; when players need help, they may email the staff for assistance. Teachers and parents may request
...more>>
 Active Worksheets  David Womersley, Active Maths Limited
Formerly known as the Worksheet Factory, you can create worksheets online for an annual subscription fee: click on the "change" button and watch the numbers, angles, shapes or equations change; click on the "print" button to print a pupil worksheet and
...more>>
 Activity Resources  Activity Resources Inc.
Created by Mary Laycock for mathematics teachers, with the goal of providing a real understanding of mathematics through handson (manipulative) activities. Purchase books and manipulatives on arithmetic, base ten, red and blue blocks, Cuisenaire rods,
...more>>
 The Af2 Proof Assistant  Christophe Raffalli et al., France
A type system based on second order intuitionistic logic. The major design goal of this program was to make as easy as possible the formalization of
mathematical proofs on machine.
...more>>
 Algebraic Reasoning  MATHCOUNTS
About algebraic reasoning  the ability to think logically about unknown quantities and the relations between them  and how to develop it, with examples.
...more>>
 Algebra, Philosophy, and Fun  Ivars Peterson (MathTrek)
About the book Philosophy and Fun of Algebra, written by Mary Everest Boole (18321916) and published in 1909. "Boole's gentle, conversational introduction to algebra is meant for children. It also serves as a window on
math educationas it was perceived
...more>>
 alt.math.undergrad  Math Forum
An unmoderated discussion forum for issues and problems pertaining to college undergraduate mathematics. Read and search archived messages; and register to post to the discussions.
...more>>
 anthropicprinciple.com  Nick Bostrom
A site on 'Anthropic reasoning', which involves concepts such as probability, objective chance, rationality, and observers. See problems like the Doomsday argument.
...more>>
 Appetizers and Lessons for Math and Reason  Alan Selby
Logic Appetizers to test or or improve reading, writing and thinking skills, with definitions, concepts and proofs in many subjects (Chains of Reason; One or TwoWay Implications; Islands & Divisions of Knowledge; Deception); Advice (How to Study
...more>>
 Arbeitsgruppe Mathematische Logik und Theoretische Informatik  Ru[rechtKarls_Universität Heidelberg, Germany
Aktuelles, Anshriften, und Personen.
...more>>
 Arché: Philosophical Research Centre for Logic, Language, Metaphysics, and Epistemology  Crispin Wright, Director; University of St. Andrews, U.K.
Arché is a new research centre within the School of Philosophical and Anthropological Studies, St Andrews. Its goal is the promotion and publication of research of the highest quality in metaphysics, formal and philosophical logic, philosophy of
...more>>
 Aristotle and the Paradoxes of Logic  Gilbert Voeten
At about the same time that set theory began to influence other branches of mathematics, various contradictions, called paradoxes, were discovered. A paradox, however, is only due to a striking violation of at least one of Aristotle's laws of logic. The
...more>>
 arXiv.org ePrint archive  Los Alamos National Laboratory (LANL)
A major site for mathematics preprints that has incorporated many formerly independent specialist archives including alggeom, functan, dgga, qalg, autofms, cdhg, MAGNUS, Several Complex Variables, Logic Eprints, Commutative Algebra, Dynamical Systems,
...more>>
 Association des Collaborateurs de Nicolas Bourbaki  École Normale Supérieure (Paris, France)
The Bourbaki Association's principal activities include drafting _Elements of Mathematics_ (Éléments de Mathématique) and organizing seminars. View or download conference dates, programs, proceedings, and style guides.
...more>>
 Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization supporting the presentation, publication, and critical discussion of scholarly work in the field of logic. Its current membership reflects the longstanding important role of logic
...more>>
 Automated Reasoning Project  Computer Sciences Laboratory, Australian National University, Canberra
A research group that investigates the mathematical properties of nonclassical logics, and studies algorithms for reasoning in various systems, both classical and nonclassical. Includes access to software developed by the team for projects such as FINDER
...more>>
 The Axiom of Choice (AC)  Eric Schechter; Vanderbilt University
An introduction to and some implications of perhaps the last great controversy of mathematics, the Axiom of Choice, now a basic assumption used in many parts of mathematics. With a collection of annotated links to relevant sites: Introductory/elementary;
...more>>
 Basic Concepts of Mathematics  Elias Zakon
This electronic text helps the student complete the transition from purely manipulative to rigorous mathematics. Chapters cover basic set theory, induction, quantifiers, functions and relations, equivalence relations, the real numbers (including consequences
...more>>
 The Battle of The Frog and The Mouse  John Hays
In the 1920s, Albert Einstein heard of a Foundational debate between Formalist
David Hilbert and Intuitionist L.E.J. Brouwer, and asked: "What is this frog and mouse battle between the mathematicians?" This fable presents Brouwer as the frog, Hilbert
...more>>
 Bertrand: Symbolic Logic ProblemSolving Software  Larry Herzberg
Using a decomposition/instantiation algorithm inspired by the 'consistency tree' method found in Leblanc and Wisdom's textbook Deductive Logic, Bertrand solves sets of firstorder symbolic logic statements (subjectequality supported) for satisfiability
...more>>
 A Bibliography of Mathematics Education  Paul Ernest, University of Exeter, U.K.
A 1994 electronic bibliography prepared for students at the University of Exeter, U.K. Contents: Society, Diversity And Mathematics Education; The Learning Of Mathematical Topics; The Psychology Of Learning Mathematics; Teaching Approaches And Resources
...more>>
 The Big List of Puzzle and Riddle Pages  MindBreakers Associates Inc.
An annotated list of links to sites with collections of math and word puzzles; also the best puzzles (the files), ranked for coolness and difficulty, with solutions and discussion: Gold for free; Just draw a line...; Turn on a lightbulb; the Wizard and
...more>>
 Blacks Academy  Blacks Academy
Extensive database of high school level resources for mathematics, suitable for teachers and independent students. Free with registration required. Britishbased curricula are served, but could be of great interest to American students, including sophomores.
...more>>
 Blogic  J. David Velleman, Dept. of Philosophy, Univ. of Michigan
An interactive textbook in logic. Topics and interactive software include: Boolean searching; logic circuits; truthtables; Turing machines; foundations of probability; modal logic with possibleworlds diagrams; quantification. Includes interactive
...more>>
 Blue Web'n Learning Sites Library
Learning Applications: a library of Internetbased instruction. Search for applications by grade level, application type, content area, Dewey number, and/or keyword. A Content Table shows the number of entries for each content area and application type
...more>>
 bontegames  Bart Bonte
Logic and physics Flash challenges from the independent game designer behind "factory balls" and "sugar, sugar": a blocky christmas, furiosity, 40xEscape, farafalla, 14 locks, and more.
...more>>
 Books: Professional & Technical: Professional Science: Mathematics  Amazon.com
Browse bestselling math books from the Professional and Technical Bookstore at Amazon.com, in such categories as Applied; Chaos & Systems; Geometry & Topology; Mathematical Analysis; Mathematical Physics; Number Systems; Pure Mathematics; Transformations;
...more>>
 Boolean Algebra (Encarta Encyclopedia 2008)  Microsoft Encarta Online
Boolean Algebra, branch of mathematics having laws and properties similar to, but different from, those of ordinary high school algebra. Formally a Boolean algebra is a mathematical system consisting of a set of elements, which may be called B, together
...more>>
 Boolify  The Public Learning Media Laboratory
Visualize the process of searching the web by interacting with the abstract logic concept behind queries  as jigsaw puzzle pieces of keywords and Boolean operators (AND, OR, NOT). Boolify offers a video and several lesson plans in a web search curricula.
...more>>
 BrainBashers  Kevin N. Stone
A collection of logic, language and math puzzles, in a choice of easy/medium/hard. Rate the puzzles; show their answers. Logic puzzles include Einstein's Puzzle. Play games of strategy, such as "Four in a Row" (also known as "Connect Four") or games based
...more>>
 Brainers  PedagoNet
More than 60 word problems and puzzles designed to develop logic and problemsolving skills. Submit your answers and suggestions to become part of the Wall of Fame. Site is in English, French, and Spanish.
...more>>
 Brain Food  Puzzles For the Brain To Gnaw On  Samuel Stoddard
Hundreds of online (CGI) puzzles, including logic puzzles, word problems, number puzzles, lateral thinking puzzles, scrambled equations, cryptograms, loginumber puzzles, discrete reasoning puzzles, mathematical reasoning puzzles, knight's dilemma, magic
...more>>
 Brainfreeze Puzzles  Riley, Philip; and Taalman, Laura
Free example puzzles and solving tips for colorful, handdesigned Sudoku variation puzzles with additional rules that challenge you to rethink your old Sudoku strategies and devise new ones. From the authors of the book, Color Sudoku.
...more>>
 Breaking Chocolate Bars  Cut the Knot!, Alexander Bogomolny
The chocolate bar puzzle has three parameters: two side lengths (m and n) and actual selection of lines along which to break the bar and its parts... An interactive column for MAA Online that uses a Java applet to simulate a puzzle or mathematical problem,
...more>>
 Bricks Activity  Suzanne Alejandre
A classroom activity (also called the Masonry Problem; a variation on polyominoes) aligned to the NCTM and California Standards, to be explored through manipulatives (dominoes). Students explore different possibilities of making brick walls with and without
...more>>
 Bridge to Higher Mathematics  Sam Vandervelde
Textbook for use with the proofs course taught at St. Lawrence University by Vandervelde, an Associate Professor of Mathematics who writes questions for the USA Math Olympiad. Bridge to Higher Mathematics incorporates "concept checks" and "mathematical
...more>>
 'The Calculus of Logic' by George Boole  D. R. Wilkins, School of Mathematics, Trinity College, Dublin
The paper "The calculus of logic" by George Boole, first published in The Cambridge and Dublin Mathematical Journal, vol. 3 (1848), is available here in various formats: HTML (with inlined images), LaTeX, DVI, PostScript (US Letter size), and PostScript
...more>>
 CARROLLIA  Mensa España  CarrollSIG
El órgano de comunicación del CARROLLSIG de Mensa España, que se dedica a las matemáticas recreativas, la lingüística, la literatura experimental, la lógica, la ciencia, y todo aquello que hubiera gustado
...more>>
 Carroll's Paradox  Math Academy Online/Platonic Realms
An online encyclopedia article on Lewis Carroll's paradox, in Charles Dodgson's Alice in Wonderland.
...more>>
 Category Theory Demonstrations  Jocelyn Paine
This is a Web page with buttons that generate examples, with diagrams, of concepts in category theory. These include: initial and terminal objects, products and coproducts, equalisers and coequalisers, pullbacks and pushouts, and limits and colimits.
...more>>
 Centre for Logic and Philosophy of Science  University of Ghent, Belgium
Members, events, preprints and books, research interests.
...more>>
 Changes of Mathematical State [PDF document]  Ivars Peterson  Science News Online
A discussion of constraintsatisfaction problems, more specifically the logic puzzle in theoretical computer science known as the satisfiability (SAT) problem (e.g. working out a seating plan), the current state of research on computational "phase transitions,"
...more>>
 Children's Shareware, Java Applets, Nature Wallpaper, and more  Lawrence Goetz
Shareware programs for kids, for Windows 3.1 and 95, including: Paddle Battle (a pong clone), Larry's Learning Math Machine (unregistered version has addition and subtraction; registered includes multiplication and division practice), Larry's Learning
...more>>
 Classic Fallacies  Philip Spencer; University of Toronto Mathematics Network
Mathematical "proofs" demonstrating, among other things, that 1 = 2 and that all people in Canada are the same age. Each consists of several steps, and users search for the flaws. For every step there is explanation of why the flaw is or is not in that
...more>>
 Classic Problems  Math Forum; Ask Dr. Math FAQ
Classic problems from the Ask Dr. Math FAQ (Frequently Asked Questions) files, including: age word problems, birthday probability, boy or girl?, camel and bananas, coin problems, doubling pennies, grazing animals, liars and truthtellers, the missing dollar,
...more>>
 Colección de Juegos de Ingenio del Club Mensa  Javier García Algarra
Esta colección recoge juegos de ingenio y problemas de matemática recreativa publicados en diversas revistas de Mensa, la asociación internacional para personas con un elevado cociente intelectual. En cada problema se hace referencia
...more>>
 A compendium of NP optimization problems  Crescenzi & Kann
A continuously updated catalog of approximability results for NP optimization problems. Because no NPcomplete problem can be solved in polynomial time (unless P=NP), many approximability results (both positive and negative) of NPhard optimization problems
...more>>
 
