Thursday, December 02, 2004

Computational Category Theory
Posted by at

Friday, November 26, 2004

Foundation of the Formal Sciences V Bonn
Posted by at

Tuesday, November 16, 2004

Martin Escardo's Home Page
Posted by at

Friday, November 05, 2004

Stomachion -- from MathWorld
Posted by at

Friday, October 29, 2004

Monty Hall, 3 Doors
Posted by at

Tuesday, October 26, 2004

NoEntropy.net
Posted by at
Arrow's impossibility theorem - Wikipedia, the free encyclopedia
Posted by at

Tuesday, October 12, 2004

TradeSports Trading & Betting Exchange, Best Lines & Bonuses. betcha!
Posted by at

Saturday, October 09, 2004

MAA: Math Horizons September 2004. Solution.
Posted by at
Gossip problem
Posted by at

Friday, October 08, 2004

the diversity of mathematics wrt a problem in logic
Posted by at

Wednesday, October 06, 2004

math.DS/0310402: Morris, Dave Witte
Posted by at

Monday, October 04, 2004

Reasoning About Uncertainty - Books24x7.com - Haplern's book
Posted by at

Saturday, September 11, 2004

The Iowa Electronic Markets
Posted by at

Thursday, September 09, 2004

How many real numbers are there?
Posted by at

Thursday, September 02, 2004

Issues of: Order
Posted by at

Tuesday, August 31, 2004

Domain Theory (Heckmann)
Posted by at
Index of /acc Adamek-Herrlich-Strecker
Posted by at

Friday, August 27, 2004

IUBMGS :: Index
Posted by at

Saturday, August 07, 2004

The Flyspeck Project Fact Sheet
Posted by at
The QED Project - Home Page
Posted by at
Higher Operads, Higher Categories
Posted by at

Sunday, July 18, 2004

Algebraic Set Theory
Posted by at

Tuesday, July 13, 2004

Publications, Lecture Notes etc. - Thomas Streicher: "Fibred Categories"
Posted by at

Monday, July 12, 2004

Long Division With Remainders: "divided into"
Posted by at

Saturday, July 03, 2004

IMA 2004 Summer Program: n-Categories: Foundations and Applications, June 7-18, 2004
Posted by at

Sunday, June 20, 2004

LaTeX for Logicians
Posted by at

Tuesday, June 15, 2004

Supplementary ProofPower Examples
Posted by at

Friday, June 04, 2004

Andrew Nestler's Guide to Mathematics and Mathematicians on The Simpsons
Posted by at

Tuesday, May 25, 2004

ABCNEWS.com : Atiyah, Singer Accept Norway's Abel Prize: "Atiyah, 75, of the University of Edinburgh in Scotland, and Singer, 79, of the Massachusetts Institute of Technology, developed what is now called the Atiyah-Singer theorem about 40 years ago."
Posted by at

Monday, May 24, 2004

TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION (23-Jun-1997)
Posted by at
Prime Arithmetic Progression -- from MathWorld ...
Posted by at

Friday, May 07, 2004

Incompleteness Theorems. Related Results. By K.Podnieks
Posted by at

Wednesday, May 05, 2004

Abstract Stone Duality Paul Taylor
Posted by at

Friday, April 30, 2004

G�del's incompleteness theorem - Wikipedia, the free encyclopedia
Posted by at

Saturday, April 24, 2004

Fractalising with complex maps
Posted by at

Sunday, April 18, 2004

Math Forum: Math Awareness Month April 2004
Posted by at

Tuesday, April 13, 2004

Goodstein Sequence -- from MathWorldAmazing!!
Posted by at

Friday, March 19, 2004

Mathematical Illustrations: "This text is offered in PDF "
Posted by at

Thursday, March 18, 2004

PHINEWS - Philog
Posted by at

Wednesday, March 17, 2004

CMCS 04 PROGRAM
Posted by at

Wednesday, March 10, 2004

James Worrell: Home Page
Posted by at

Saturday, March 06, 2004

Euclid's Elements, Using the Geometry Applet
Posted by at

Thursday, February 26, 2004

week202
John Baez. Categories and Galois' Theory...
Posted by at

Saturday, January 17, 2004

A Grim Reckoning: "no special relationship to the"
Posted by at

Friday, January 16, 2004

Theory and Applications of Categories
Posted by at

Thursday, January 15, 2004

GCalc -- Free Online Graphing Calculator
Posted by at
Subscribe to: Posts (Atom)