Drexel dragonThe 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 - 418 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. About Proofs - Math Forum, Ask Dr. Math FAQ
    What is a proof? How do you write a two-column proof? ...more>>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  38. Changes of Mathematical State - 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>>

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

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

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

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

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

  44. Computability Theory - Peter Cholak
    A resource for computability theorists. Includes a Bibliographic Database for Computability Theory; Open Questions in Recursion Theory: LaTeX or dvi; a link to the Association for Symbolic Logic; and links to pages of people who work (or have worked) ...more>>

  45. Constraints - Davide Cucciniello
    This SAT-based propositional (Boolean) logic engine for the iPhone lets you add, modify, delete, enable or disable constraints; assign values (true, false) to Boolean variables; and find all possible assignments to unassigned Boolean variables as solutions ...more>>

  46. The Counterfeit Coin - Ivars Peterson (MathTrek)
    The classic puzzle of the counterfeit coin has long served as a stiff test of one's reasoning power and ingenuity. In its standard form, the problem concerns 12 coins identical in size, shape, and appearance. One coin, however, is counterfeit, having ...more>>

  47. A Crash Course in Symbolic Logic - D.J. Brasier; Math Forum, Ask Dr. Math FAQ
    Is symbolic logic so hard that some people will just never be able to get it? In a gentle introduction to the notation and rules of derivation used in symbolic logic, Dr. Achilles shows why the answer to that question is 'No'. ...more>>

  48. Creative Java Puzzles - J. L. Read, Enchanted Mind
    Games "good for exercising both sides of the brain." Knight's Tour: pass all the squares of the board with the knight, making only legal moves. Peg Solitaire: Remove all the pegs in the least amount of time, finishing with only one peg in the target hole. ...more>>

  49. Critical Thinking Books and Software
    Critical thinking books and software for home and classroom for use in mathematics, science, language arts, social studies, and more. Search for Content Area Mathematics from the classroom catalog or the home catalog. ...more>>

  50. CROC'Sciences: le net.magazine de la pédagogie des sciences - P. Lambert
    Un mensuel faisant le tour des sites scientifiques d'intérêt pédagogique, soit pour la construction d'un cours, soit pour les élèves eux-mêmes. Chaque numéro comporte 6 catégories: Mathématiques, ...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.
http://mathforum.org/