Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Logic/Foundations

Library Home || Search || Full Table of Contents || Suggest a Link || Library Help

  Subcategories   (see also All Sites in this category)
  Selected Sites   (see also All Sites in this category)

  1. Logic and Set Theory around the World - Sylvain Poirier
    Research groups and departments in the foundations of mathematics and computer science (logic, set theory, model theory, theoretical computer science, proof theory, programming languages). Browse the listing by geographic region. See also Poirier's index of organizations, publications, blogs, mailing lists, software, and more. more>>

  2. LO Logic (Front for the Mathematics ArXiv) - Univ. of California, Davis
    Logic preprints, from the U.C. Davis front end for the xxx.lanl.gov e-Print archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives. Search by keyword or browse by topic. more>>

  3. Set Theory and Foundations (MathPages) - Kevin Brown
    About 30 "informal notes" by Kevin Brown on set theory and foundations: what is fuzzy logic, fractal logic, Cantor's diagonal proof, are all triangles isosceles?, on Gauss's mountains, problems with the luminiferous aether, and many more. more>>

  All Sites - 430 items found, showing 1 to 50

  1. 1991 Mathematics Subject Classification (MSC) - Chris Eilbeck; Heriot-Watt 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>>

  2. 3TAP (Tableau-based Theorem Prover) - Reiner Hähnle, Bernhard Beckert, Stefan Gerberding
    A many-valued tableau-based theorem prover developed at the University of Karlsruhe. It can be instantiated for arbitrary finitely-valued first-order logics, and it can handle equality (two-valued), sorts, and non-clausal input. Source code, a manual, ...more>>

  3. About Proofs - Math Forum, Ask Dr. Math FAQ
    What is a proof? How do you write a two-column proof? ...more>>

  4. ABsurd MAth: Pre-algebra from another dimension - Michael Cain; HRM Video; LearningWave Communications
    An interactive problem-solving 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>>

  5. 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>>

  6. Activity Resources - Activity Resources Inc.
    Created by Mary Laycock for mathematics teachers, with the goal of providing a real understanding of mathematics through hands-on (manipulative) activities. Purchase books and manipulatives on arithmetic, base ten, red and blue blocks, Cuisenaire rods, ...more>>

  7. 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>>

  8. 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>>

  9. Algebra, Philosophy, and Fun - Ivars Peterson (MathTrek)
    About the book Philosophy and Fun of Algebra, written by Mary Everest Boole (1832-1916) and published in 1909. "Boole's gentle, conversational introduction to algebra is meant for children. It also serves as a window on math education--as it was perceived ...more>>

  10. 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>>

  11. anthropic-principle.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>>

  12. 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 Two-Way Implications; Islands & Divisions of Knowledge; Deception); Advice (How to Study ...more>>

  13. Arbeitsgruppe Mathematische Logik und Theoretische Informatik - Ru[recht-Karls_Universität Heidelberg, Germany
    Aktuelles, Anshriften, und Personen. ...more>>

  14. 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>>

  15. 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>>

  16. arXiv.org e-Print archive - Los Alamos National Laboratory (LANL)
    A major site for mathematics preprints that has incorporated many formerly independent specialist archives including alg-geom, funct-an, dg-ga, q-alg, auto-fms, cd-hg, MAGNUS, Several Complex Variables, Logic E-prints, Commutative Algebra, Dynamical Systems, ...more>>

  17. 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>>

  18. 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>>

  19. Automated Reasoning Project - Computer Sciences Laboratory, Australian National University, Canberra
    A research group that investigates the mathematical properties of non-classical logics, and studies algorithms for reasoning in various systems, both classical and non-classical. Includes access to software developed by the team for projects such as FINDER ...more>>

  20. 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>>

  21. 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>>

  22. 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>>

  23. Bertrand: Symbolic Logic Problem-Solving 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 first-order symbolic logic statements (subject-equality supported) for satisfiability ...more>>

  24. 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>>

  25. 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>>

  26. Blacks Academy - Blacks Academy
    Extensive database of high school level resources for mathematics, suitable for teachers and independent students. Free with registration required. British-based curricula are served, but could be of great interest to American students, including sophomores. ...more>>

  27. Blogic - J. David Velleman, Dept. of Philosophy, Univ. of Michigan
    An interactive textbook in logic. Topics and interactive software include: Boolean searching; logic circuits; truth-tables; Turing machines; foundations of probability; modal logic with possible-worlds diagrams; quantification. Includes interactive ...more>>

  28. Blue Web'n Learning Sites Library
    Learning Applications: a library of Internet-based 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>>

  29. 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>>

  30. 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>>

  31. 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>>

  32. 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>>

  33. 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>>

  34. Brainers - PedagoNet
    More than 60 word problems and puzzles designed to develop logic and problem-solving skills. Submit your answers and suggestions to become part of the Wall of Fame. Site is in English, French, and Spanish. ...more>>

  35. 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, logi-number puzzles, discrete reasoning puzzles, mathematical reasoning puzzles, knight's dilemma, magic ...more>>

  36. Brainfreeze Puzzles - Riley, Philip; and Taalman, Laura
    Free example puzzles and solving tips for colorful, hand-designed 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>>

  37. 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>>

  38. 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>>

  39. 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>>

  40. '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>>

  41. 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>>

  42. 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>>

  43. 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>>

  44. Centre for Logic and Philosophy of Science - University of Ghent, Belgium
    Members, events, preprints and books, research interests. ...more>>

  45. Changes of Mathematical State [PDF document] - Ivars Peterson - Science News Online
    A discussion of constraint-satisfaction 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>>

  46. 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>>

  47. 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>>

  48. 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>>

  49. 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>>

  50. A compendium of NP optimization problems - Crescenzi & Kann
    A continuously updated catalog of approximability results for NP optimization problems. Because no NP-complete problem can be solved in polynomial time (unless P=NP), many approximability results (both positive and negative) of NP-hard optimization problems ...more>>

Page:  1  2  3  4  5  6  7  8  9 [next>]

Search for these keywords:

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words

Power Search

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.