- 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>>
- 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 Multiple-valued 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 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>>
- 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 - 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>>
- 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>>
| |
|