![]() |
![]() |
|
Logician | ![]() | |
Feferfest - Steven Simpson's page on the celebration of Feferman's 70th birthday. | ![]() | |
[Feferman60] | Arithmetisation of metamathematics in a general setting Fundamenta Mathematicae XLIX (1960) |
![]() |
[Feferman98] | In the Light of Logic
Oxford University Press, 1998, Logic and Computation in Philosophy series ISBN 0-19-508030-0 |
![]() ![]() |
Philosopher, with special interests in computer science, artificial intelligence, evolution and cognition. | ![]() | |
[Fetzer88] | Program Verification: The Very Idea; CACM 31 (1988) 1048-1063 |
![]() |
Philosopher | ![]() | |
[Feyerabend75] | Against Method; Verso 1993 |
![]() ![]() |
[Feyerabend87] | Farewell to Reason; Verso 1987 |
![]() ![]() ![]() |
Metaphysics and Philosophy of Logic, Mathematics and Science | ![]() | |
[Field97] | Which Undecidable Mathematical Sentences Have Determinate Truth Values? |
![]() |
Philosopher, with special interests in computer science.
Editor of the forthcoming "Blackwell Guide to the Philosophy of Computing and Information". |
![]() | |
[Floridi1999] | Pilosophy and Computing: An Introduction; Routledge 1999 |
![]() ![]() |
Business consultant and author of Constitutional Enterprise and Constitutional Business Consulting inc.. | ![]() |
Set Theory with a Universal Set. | ![]() | |
[Forster92] | Set Theory with a Universal set- Exploring an Untyped Universe; Oxford Science Publications, Clarendon Press, Oxford, second edition 1995. |
![]() ![]() ![]() |
Programming, Philosophy, Poetry | ![]() |
AI, neural nets. | ||
The Time Machine - Prototype of a Conscious Machine. | ![]() |
Logic, Philosophy, the Foundations of Mathematics. | ![]() | |
Frege's theorem, logic, and foundations for arithmetic, by Edward Zalta | ![]() | |
Frege life and works, by Rainer Born at the University of Linz, Austria. | ![]() | |
[Frege1879] | Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle, translated (as a formalised Language of pure Thought modelled upon the Language of Arithmetic) in [Heijenoort67], Chapter 1 also in [Frege52]. | ![]() |
[Frege1884] | Die Grundlagen der Arithmetik, eine logisch-mathematische Untersuchung über den Begriff der Zahl, Breslau 1884. Translated as [Frege80] | ![]() |
[Frege1891] | Function und Begriff, an address given to the Jenaische Gesellschaft für Medicin und Naturwissenschaft, Jena, January 9, 1891. Translated into English (as Function and Concept) in [Frege52] Jena 1893. | |
[Frege1893] | Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, vol. 1, Jena 1893. | |
[Frege1903] | Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, vol. 2, Jena 1903. |
[Frege1952] | Translations from the Philosophical Writings of Gottlob Frege, Edited by Peter Geach & Max Black; Basil Blackwell 1952; ISBN 0 631 12911 1 | |
[Frege1980] | The Foundations of Arithmetic, a logico-mathematical enquiry into the concept of number, English translation by J.L.Austin; Basil Blackwell 1980; ISBN 0 631 12694 5 | ![]() |
Distinguished University Professor of Mathematics, Computer Science, Philosophy and Music
Founding contributor to the F.O.M. mailing list (Foundations of Mathematics). |
![]() | |
Manuscripts - Numerous publications in various formats, including a "series of self contained postings to fom covering a wide range of topics in f.o.m." |
![]() |
|
[FriedmanHarvey07a] | Boolean Relation Theory and The Incompleteness Phenomenon (book draft) |
![]() |
[FriedmanHarvey07b] | Interpreting Set Theory in Ordinary Thinking: Concept Calculus (from Tarski Lectures, 2007) |
![]() |
[FriedmanHarvey09a] | FOUNDATIONAL ADVENTURES: CONFERENCE IN HONOR OF THE 60th BIRTHDAY OF HARVEY M. FRIEDMAN (page of videos) |
![]() |
[FriedmanHarvey09b] | Concept Calculus: Much Better Than (draft of August 28 2009) |
![]() ![]() |
Logical positivism | ![]() | |
[FriedmanM1999] | Reconsidering Logical Positivism - A collection of essays. Cambridge University Press, 1999 |
![]() ![]() ![]() |
Futurist and Utopian Writer | ||
World Transformation web site | ![]() | |
New Civilisation Network web site | ![]() | |
HoloWorld utopian vision | ![]() |