.	Themes Magic		Quick Index	What? Why?	WIP NEW		privacy CHAT

Methods. Generic Future Engineering Formal Methods. What? Analysis Notations Philosophy FM for ISE Languages Z Undefinedness ProofPower

Logic. Engineering Revolutions What?Why? PropPred HOST Combinatory. -CubePTS -SKI Cube isarpppp/docgst

Mathematics. Mechanisation Formal Maths Formalisation Foundations Classical Threads Rigour Reals

Computing. Automation of Reasoning Mechanisation of Maths The Global SuperBrain Security Reals Motivation History Representation Implementation AI

Business. Economics. Engineering. The Future. Music. Politics. Science. Religion. Values. Writing. WWWell

content		top100	directories	omniography	hierarchic contents	full contents

Philosophy.
Bibliography. Glossary. Positive Philosophy Naive Philososphy Ethics. History.   Politics.	Epistemology. synthetic epistemology analytic<>synthetic triple-dichotomy dichotomies (model) hyper-rationality analyticity (FAn) factastic logicist	Logic. Propositions Definitions Necessity Examples Logicism History What? Carts	Maths. Why not ZFC? Philosophers Foundations Categories Logicism Problems Sources History	Science. Computing Penrose Searle Fetzer Metaphysics Possible Worlds	Classics. Aristotle logic, metaphysics Descartes Discourse Leibniz. Monadology Locke Essay. Berkeley Treatise. Hume Enquiry. Kant Critique.

---

Gif Gallery © created 1995/04/25 modified 2009/7/21

---