 Uncertain Reasoning Group  Mathematical Logic  Dept. of Mathematics, Manchester Univ., U.K.
Homepage for a research group that investigates uncertain knowledge, how to represent it, and how to reason with it intelligently. People, research topics, seminars, Web resources.
...more>>
 Uncle Bob's Puzzles  Robert & Claire Mead, Haverhill, NH, USA
Math and logic problems (no solutions); if you have questions, want a hint, or want to submit a solution you're invited to email the author. Asterisks indicate greater difficulty: Blind Cowboy; A Game of Catch; The Next Three; Grandpa's Birthday; Square
...more>>
 Unsolved Problems in Number Theory, Logic, and Cryptography  Tim Roberts
This site "concentrates only on problems which are easily understandable to the amateur.... explainable on a single screen (perhaps 200 words), using simple terminology." Read brief descriptions of open problems such as the Chromatic Number, the Collatz
...more>>
 Usenet FAQ Archive : Recreation : Puzzles  Netmeg Internet
Problems and puzzles, with solutions, from the rec.puzzles archives, in the categories: analysis, arithmetic, combinatorics, competition, decision, geometry, group, induction, instructions, language, logic, physics, pickover, probability, real life, references,
...more>>
 VEE: The Visual Elements of Euclid  Ralph Abraham
The Euclid Project is an exfoliation of the Elements of Euclid, the most important math text of all time. It will encompass several books, a CDROM, and an educational environment on the World Wide Web. Its components are: The Visual Elements of Euclid
...more>>
 Venn Diagrams  Math Forum, Ask Dr. Math Common Question
A selection of answers to questions about Venn diagrams and using them to model sets, intersections, and unions.
...more>>
 Video Lectures in Mathematics  Jerry Farlow
An online pinboard gathering thousands of visual links to a broad range of math videos. Categories include applications of math; famous mathematicians; math education; math humor; math on TV, movies; STEM math initiatives; and "instructional: K12." Farlow
...more>>
 Visual Structure of Postulates and Axioms in Algebraic Operations
(SMILE)  Sanford Olshan, Roosevelt High School
A lesson designed to reinforce and retain the use of axioms and postulates in various proofs and linear transformations of equations; and to have student build a physical model of the game of "PRUFF" either as a card game or as a board game. From the
...more>>
 Vladimir Voevodsky
Lectures, publications, a library of Coq files, and more by the mathematician developing univalent foundations, which start with a view of mathematics where sets parametrize collections of objects without "internal structure" while more general homotopy
...more>>
 WASL Math Prompts  Port Angeles School District, Washington state
Sample questions for the WASL, Washington State Assessment of Student Learning. Most questions have answers printed above the questions. Sample questions are offered for kindergarten through high school levels, organized by mathematical content, and accompanied
...more>>
 Was Math Invented or Discovered?  Math Forum, Ask Dr. Math Common Question
A selection of answers to questions about whether math was invented or discovered.
...more>>
 WatchKnowLearn  Community Foundation of Northwest Mississippi
Thousands of free online math educational videos, categorized into topics such as mathematics for young learners, number operations, math in the real world, precalculus, math study skills and test prep, and history of math.
...more>>
 Weighing a Counterfeit Coin  Math Forum, Ask Dr. Math Common Question
A selection of answers to questions about using a balance beam to find a counterfeit coin, such as "If there are twelve coins in a bag, one of which is either lighter or heavier than the others, find the fake coin in exactly 3 weighings and determine
...more>>
 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>>
 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>>
 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>>
 What's New  Terence Tao, UCLA
Updates on Tao's research and expository papers, discussion of open problems, and other mathsrelated 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>>
 Why Does BacktoSchool 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>>
 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>>
 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>>
 Working Group Mathematical Logic
 LudwigMaximiliansUniversität, Munich, Germany
In English and German. Contact information, staff, conferences, seminars, and workshops, Ph.D. program, links, articles.
...more>>
 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>>
 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>>
 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 Multiplevalued Logics;
...more>>
 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>>
 Yarrow Home Page  Jan Zwanenburg
A proofassistant 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 CurryHowardde Bruijn isomorphism is
...more>>
 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>>
 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>>
 Zeno's Paradox  Jim Loy
Among the most famous of Zeno's "paradoxes" involves Achilles and the tortoise, who are going to run a race. Achilles, being confident of victory, gives the tortoise a head start. Zeno supposedly proves that Achilles can never overtake the tortoise. A
...more>>
 Zentralblatt MATH Database  SpringerVerlag
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>>
 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>>
 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>>
 
