Directory Top sites directory
Arts Business Computers Games News Health Recreation Regional Science Shopping

Directory web directory open directory project

Whatever you are looking for in Science, Math, Logic and Foundations, Foundations, you can probably find it here. Actidir offers a large collection of annotated links to Science, Math, Logic and Foundations, Foundations sites organized by category. Browse thousands of web sites that are more focused on one particular aspect of Science, Math, Logic and Foundations, Foundations with just the click of your mouse.

Cheap Hotels - Cheap Hotels Reservation. Discount Hotel Reservations worldwide. Find discount hotels, cheap hotels, luxury hotels, lodging and motels at cheap prices.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
Hotels Booking - Booking discount hotels worldwide. Book over 90 000 hotels worldwide with our online hotel reservations service.

Top: Science: Math: Logic_and_Foundations: Foundations:

    http://www.st-and.ac.uk/academic/philosophy/arche/   » Arché - The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University of St Andrews.

    http://www.umcs.maine.edu/~chaitin/lowell.html   » A Century of Controversy over the Foundations of Mathematics - Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.

    http://www.cs.nyu.edu/mailman/listinfo/fom/   » FOM - A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.

    http://sakharov.net/foundation.html   » Foundations of Mathematics - Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.

    http://www.qedeq.org/   » Hilbert II - Mathematical Foundation Project - The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it.

    http://www.mizar.org/   » Mizar Project - An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

    http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html   » Practical Foundations of Mathematics - Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science.

    http://www-unix.mcs.anl.gov/qed/   » QED Project - Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge

OOHotels | Locations Vacances | Hotels | Cheap Hotels | Hotels Booking
The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors. The Open Directory is the most widely distributed data base of Web content classified by humans.
Help build the largest human-edited directory on the web.
Soumettre un site - Open Directory Project - Devenir Editeur

Copyright © ActiDir