The Factasia Omniography

..F

	=	home page
	=	notes

	=	online text
	=	quotes

	=	buy from iBS
	=	buy from Amazon

Solomon Feferman

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

James H. Fetzer

Philosopher, with special interests in computer science, artificial intelligence, evolution and cognition.

[Fetzer88] Program Verification: The Very Idea; CACM 31 (1988) 1048-1063

Paul Feyerabend

Philosopher

[Feyerabend75] Against Method; Verso 1993

[Feyerabend87] Farewell to Reason; Verso 1987

Hartry Field

Metaphysics and Philosophy of Logic, Mathematics and Science

[Field97] Which Undecidable Mathematical Sentences Have Determinate Truth Values?

Luciano Floridi

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

Rick Forschler

Business consultant and author of Constitutional Enterprise and Constitutional Business Consulting inc..

Thomas Forster

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.

Torkel Franzén

Programming, Philosophy, Poetry

Bert G. J. Frederiks

AI, neural nets.

The Time Machine - Prototype of a Conscious Machine.

Gottlob Frege

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

David D. Friedman

Economist and Libertarian (anarcho-capitalist)

[FriedmanDD86] Price Theory: An Intermediate Text

[FriedmanDD96] Hidden Order: The Economics of Everyday Life

Why Is Law?: An Economist's View of the Elephant

Harvey Friedman

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)

Michael Friedman

Logical positivism

[FriedmanM1999] Reconsidering Logical Positivism - A collection of essays. Cambridge University Press, 1999

Fleming Funch

Futurist and Utopian Writer

World Transformation web site

New Civilisation Network web site

HoloWorld utopian vision

created 1995-02-11 modified 2014-02-10

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

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.

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

Economist and Libertarian (anarcho-capitalist)
[FriedmanDD86]	Price Theory: An Intermediate Text
[FriedmanDD96]	Hidden Order: The Economics of Everyday Life
	Why Is Law?: An Economist's View of the Elephant

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