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

  All Sites - 418 items found, showing 401 to 418

  1. What Can Mathematics Do For The Businessperson? - Keith Devlin (Devlin's Angle)
    In business, the ability to dig beneath the surface of a problem to see what the real underlying issues are, and the capacity for clear and logical thought, can be extremely valuable. And learning mathematics provides an excellent way to develop that ...more>>

  2. What Color Is My Hat? - Math Forum, Ask Dr. Math Common Question
    A selection of answers to questions about which person wears which hat, such as "Three students close their eyes, and the teacher puts a hat on each of their heads (hiding the other two hats)...." ...more>>

  3. What is Mathematics: Goedel's Theorem and Around - Karlis Podnieks
    An extended translation of Podnieks' book, published in 1992 in Russian. Contents include: Platonism, intuition and the nature of mathematics; Axiomatic set theory; First order arithmetic; Hilbert's Tenth problem; Incompleteness theorems; Around Goedel's ...more>>

  4. What's New - Terence Tao, UCLA
    Updates on Tao's research and expository papers, discussion of open problems, and other maths-related topics. Blog posts, which date to February, 2007, have included "Riemannian manifolds and curvature" and "Sailing into the wind, or faster than the wind" ...more>>

  5. Why Does Back-to-School Imply Back to Math? - Keith Devlin (Devlin's Angle)
    ...in a world where everyone can afford a pocket calculator and a great many people seem to be successful in life with little or no mathematical ability or knowledge of science, why do we place so much emphasis on math and science? Whatever the answer, ...more>>

  6. WinKE: A Proof Assistant for Teaching Logic - Ulrich Endriss
    An interactive proof assistant based on the KE calculus, a refutation system that combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. The software has been designed to serve as a tutoring system to support the teaching ...more>>

  7. The Wolfram Demonstrations Project - Wolfram Research, Inc.
    A web collection of freely available demonstrations in math, science, and many other areas. Interact with the demonstrations directly in your browser. Each Demonstration contains a set of related links to sites such as MathWorld, The Wolfram Functions ...more>>

  8. Working Group Mathematical Logic - Ludwig-Maximilians-Universität, Munich, Germany
    In English and German. Contact information, staff, conferences, seminars, and workshops, Ph.D. program, links, articles. ...more>>

  9. Writings from the MegaMath Project (MegaMath) - Casey, Fellows, Koblitz; Los Alamos National Laboratory
    Documents containing classroom materials and discussions of mathematics pedagogy. The Los Alamos workbook; Lessons for math teachers; An hour in the classroom; Literacy lessons and mathematics learning; Computer science in elementary school; Combinatorially ...more>>

  10. wrotniak.net - J. Andrzej Wrotniak
    Includes shareware and freeware programs for Windows written by Wrotniak: scientific and regular calculators, a spherical geometry calculator, a logic and strategy game, a statistics graphing program, and a simple program to compute the area of a polygon. ...more>>

  11. www.logic.at - University of Technology, Vienna, Austria
    A group in Applications of Formal Logic. This server contains the home pages of the Institut für Computersprachen; the Abteilung für Anwendungen der formalen Logik; the Kurt Gödel Society; the Vienna Group for Multiple-valued Logics; ...more>>

  12. Yahoo! Science: Mathematics - Yahoo! Inc.
    All the best on the Web in math including Indices, alphabetically listed by category: Academic Papers; Algebra; Applied Mathematics; Books; Calculus; Chaos; Combinatorics; Complex Systems; Conferences; Education; Employment; Entropy; Equations; Ethnomathematics; ...more>>

  13. Yarrow Home Page - Jan Zwanenburg
    A proof-assistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is ...more>>

  14. yyGrams Books: Books, Games, Puzzles - David Zethmayr
    Zethmayr presents boundary mathematics to young children, introducing the ideas of logic, proof, and algebra far earlier than is usually attempted. Books, games, and puzzles on this site reinforce these ideas, and Zethmayr presents a seminar and children's ...more>>

  15. Zeno's Paradoxes - Franz Kiekeben
    Statements of the following paradoxes: The Racetrack (or Dichotomy); Achilles and the Tortoise; The Arrow; A brief analysis of the motion paradoxes; The Thomson Lamp; Kiekeben's Odd/Even Paradox; Benardete's Paradox of the Gods; The Paradox of the Spaceship; ...more>>

  16. Zentralblatt MATH Database - Springer-Verlag
    A database edited by the European Mathematical Society, the FIZ Karlsruhe, and the Heidelberg Academy of Sciences, and established in cooperation with Math Doc Cell (France). Search for abstracts of papers on any math subject by author, title, classification, ...more>>

  17. Zero in Four Dimensions: Cultural, Historical, Mathematical, and Psychological Perspectives - Prof. Hossein Arsham; University of Baltimore
    A critical panoramic view of basic mathematical fallacies surrounding zero, such as dividing by zero, taking the limit, IEEE special floating point, the notion of zero throughout history, when zero is "not there," the origin of infinity and its symbol, ...more>>

  18. Zoma's Land O'Logic - David and Zoma Stern
    Who Rode the Goat? A logic puzzle with many clues and a link to the answer. ...more>>

Page: [<prev]  1  2  3  4  5  6  7  8  9

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.