The One Thing You Need to Know about Quantum Computers: BLOG: SciAm Observations

The One Thing You Need to Know about Quantum Computers: BLOG: SciAm Observations

Resolution (logic) - Wikipedia, the free encyclopedia

Resolution (logic) - Wikipedia, the free encyclopedia

Gathering Storm Executive Summary.pdf (application/pdf Object)

Gathering Storm Executive Summary.pdf (application/pdf Object)

Welcome

Cognitive Hierarchy Theory of One-shot Games

CIENCIA EN LOS MEDIOS

Irene Loiseau, UBA Investigación operativa.

from Rota's `Indiscrete thoughts' p.48:

``What can you prove with exterior algebra that you cannot prove
without it?" Whenever you hear this question raised about some new
piece of mathematics, be assured that you are likely to be in the
presence of something important. In my time, I have heard it
repeated for random variables, Laurent Schwartz' theory of
distributions, ideles and Grothendieck's schemes, to mention only a
few. A proper retort might be: ``You are right. There is nothing in
yesterday's mathematics that could not also be proved without it.
Exterior algebra is not meant to prove old facts, it is meant to
disclose a new world. Disclosing new worlds is as worthwhile a

Mathematical Structures: HomePage Quite incomplete, but full of potential.

Sobre enseñanza a distancia, un wikilibro.

Logical Methods in Computer Science

What We Can Do About Science JournalsJohn Baez advice

Christopher TownsendI work in locale theory and topos theory. My preoccupation is that the theory of compact Hausdorff spaces and the theory of sets have such a lot in common that they can be expressed as the same theory. Therefore I am developing axioms for a category of spaces in which the theory of compact Hausdorff spaces is dual to the theory of sets (the duality is not standard categorical duality, but is order enriched duality; the category of spaces is order enriched). A further aim is to extend this work to an axiomatization of the category of Grothendieck toposes.

PLT Online Excelente lista de libros online sobre semántica de lenguajes

International Conference on Quantitative Evaluation of Systems (QEST)

FOMI 2006 - Formal Ontologies Meet Industry stefano borgo , thomas reichherzer

Metamath Home Page

Foundations of Mathematics. Mathematical Logic. By K.Podnieks

Thales and Friends - Mykonos meeting

A coalgebraic view on positive modal logic Get

Modal Logic, Stone Duality and Coalgebras I need to get the proceedings of this.

Reprints in Theory and Applications of Categories

ftp://ftp.math.mcgill.ca/pub/barr/pdffiles/Index.html Barr's site with pdf of many of his works.

Avi Wigderson's Home PageCS & math

Gil Kalai, World-Wide-Web Home Page Ver artículos sobre Auman, QC, juegos.

The n-Category Café The most interesting thing about this is the usage of MathML. I want to use that in this blog!

Introduction to Category Theory

A gentle inroduction

DBLP: R. Lowen Dubois & Prade dicen que en Lowen 1978 hay un enfoque categorico.

http://mathworld.wolfram.com/FareySequence.html

Farey sequences. Are they related to the sequences obtained from number in base n?

00001111
00110011
01010101in Math world

In wikipedia

"Introduction to Probability" in Adobe Portable Document Format (pdf)

Universal Algebra and Diagrammatic Reasoning Link to Burris and Sankapanavar, Topor Triples, etc.

Hausdorff distance Hausdorff distance can be defined the same way for closed non-compact subsets of M, but in this case the distance may take infinite value and the topology of F(M) starts to depend on particular metric on M (not only on its topology). The Hausdorff distance between not closed subsets can be defined as the Hausdorff distance between its closures. It gives a pre-metric (or pseudometric) on the set of all subsets of M (Hausdorff distance between any two sets and with the same closures is zero).

Common Errors in College Math page pointed out by Paul Kirk.

Hausdorff metric a good explanation plus applications.

Dempster-Shafer Theory of Evidence: "Dempster-Shafer Theory of Evidence "

Slides for DS

justinmullins.com/Home Mathematical art.

Electronic Notes in Theoretical Computer Science

Serge Lang, 78, a Gadfly and Mathematical Theorist, Dies - New York Times

Information and Computation

New trigonometry or ...?

J1 Academic Training

A paper by Goldblatt Seems to be based in the same idea of the paper we did with Larry...

LogBlog - Richard Zach's Logic and Philosophy Blog

Spyros Vassilakis at IDEAS: "WUSTL."

Combinatorial Game Theory

Marvel Universe and Social Networks

John Cantwell Dynamic Doxastic logic DDL, and AGM

Applet about van der Waerden's Theorem

van der Waerden's Theorem -- from MathWorld

@LaTeX help 1.1 - \newtheorem I have 3 lines of the dissertation!

A very good list of electronically available lecture notes on
category theory, taken from Kurz homepage:

M. Caccamo, J.M.E. Hyland, G. Winskel:
Lecture Notes
in Category Theory. BRICS Lecture Series, 2001.

M. Fokkinga:

A Gentle Introduction to Category Theory - the calculational
approach. University of Utrecht, 1992.

Chris Hillman: A
Categorical Primer. August 2001.

Tom Leinster:

Category Theory.
This page contains an informal
introduction to category theory and, for example, a nice explanation
of the Yoneda Lemma.

Jaap van Oosten:
Basic Category Theory.

D. Turi: Category
Theory Lecture Notes. LFCS, Univeristy of Edinburgh, 2001.

Indiana University Math departmant: magazine articles

Kluwer Online Internet Publishing System - Georgian Mathematical Journal: "On Uncountable Unions and Intersections of Measurable Sets"

Xy-pic User's Guide

The Fano plane

Inversion: Reflection in a Circle

Homepage of Torsten Sillke at Univ. Bielefeld

Computational Category Theory

Foundation of the Formal Sciences V Bonn

Martin Escardo's Home Page

Stomachion -- from MathWorld

Monty Hall, 3 Doors

NoEntropy.net

Arrow's impossibility theorem - Wikipedia, the free encyclopedia

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

MAA: Math Horizons September 2004. Solution.

Gossip problem

the diversity of mathematics wrt a problem in logic

math.DS/0310402: Morris, Dave Witte

Reasoning About Uncertainty - Books24x7.com - Haplern's book

The Iowa Electronic Markets

How many real numbers are there?

Issues of: Order

Domain Theory (Heckmann)

Index of /acc Adamek-Herrlich-Strecker

IUBMGS :: Index

The Flyspeck Project Fact Sheet

The QED Project - Home Page

Higher Operads, Higher Categories

Algebraic Set Theory

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

Long Division With Remainders: "divided into"

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

LaTeX for Logicians

Supplementary ProofPower Examples

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

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

TOWARDS A MATHEMATICAL SCIENCE OF COMPUTATION (23-Jun-1997)

Prime Arithmetic Progression -- from MathWorld ...

Incompleteness Theorems. Related Results. By K.Podnieks

Abstract Stone Duality Paul Taylor

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

Fractalising with complex maps

Math Forum: Math Awareness Month April 2004

Goodstein Sequence -- from MathWorldAmazing!!

Mathematical Illustrations: "This text is offered in PDF "

PHINEWS - Philog

CMCS 04 PROGRAM

James Worrell: Home Page

Euclid's Elements, Using the Geometry Applet

week202
John Baez. Categories and Galois' Theory...