The Factasia Omniography

..G

	=	home page
	=	notes

	=	online text
	=	quotes

	=	buy from iBS
	=	buy from Amazon

Ernest Gellner

Philosophy, social anthropology.

[Gellner59] Words and Things An examination of, and an attack on, linguistic philosophy.
Second edition, Routledge & Kegan Paul, 1979, ISBN 0-7100-0285-8 O

[Gellner92] Reason and Culture
New Perspectives on The Past Blackwell 1992, ISBN 0-631-13711-4

[Gellner98] Language and Solitude Wittgenstein, Malinowski and the Habsburg Dilemma
Cambridge University Press 1998, ISBN 0-521-63997-2

Michael Genesereth

Logic, automated reasoning, AI. Knowledge Interchange Format (KIF). Knowledge Sharing Environment (KSE).

P. Di Gianantonio

Exact Real computation and domain theory.

[Gianantonio93] Real number computability and domain theory;
in Proceedings of the 18^th Symposium on Mathematical Foundations of Computer Science, Gdansk, Poland, 1993; p413-422 Springer LNCS 711.

Peter Gibbins

Philosophy, logic. logical-space.com Chairman of Oxford Virtual Technology. E-commerce, Java, Corba, DCOM, XML.

Kurt Gödel

Logic, philosophy. S^tA

[Gödel30] Completeness of the axioms of the functional calculus of logic,
English translation in [Heijenoort67]

[Gödel31] On fomally undecidable propositions of Principia Mathematica and related systems I,
English translation in [Heijenoort67]

Ben Goertzel

Cybernetics, physics. From WWW to world wide brain. Extensive online writings.

Joseph Goguen

Applications of Category theory to problems relating to computing, e.g. to formal algebraic specification of computer systems. Institutions.

Robert E. Goodin

[Goodin93] Goodin, Robert E.; Pettit, Phillip;: A Companion to Contemporary Political Philosophy; Blackwell Publishers 1993; ISBN 0-631-19951-9

Michael J.C. Gordon

Automated reasoning and its applications in digital hardware design. Cambridge LCF, HOL.

[Gordon93] Introduction to HOL - a theorem proving environment for higher order logic;
with T.F.Melham, Cambridge University Press 1993; ISBN 0-521-44189-7

Stephen Jay Gould

[Gould91] Gould, Stephen Jay;: Bully for Brontosaurus; Hutchinson Radius (an imprint of Random Century) 1991.

Paul Grice

Oxonian analytic philosopher (of conversational implicature fame)

[Grice89] Studies in the Ways of Words;
Harvard University Press 1989; ISBN 0674852710

Yuri Gurevich

[Gurevich95] Gurevich, Yuri;: Platonism, Constructivism, and Computer Proof vs. Proofs by Hand; in The Logic in Computer Science Column, EATCS Bulletin number 57, 1995.

created 1996/01/15 modified 2010/07/30

Philosophy, social anthropology.
[Gellner59]	Words and Things An examination of, and an attack on, linguistic philosophy. Second edition, Routledge & Kegan Paul, 1979, ISBN 0-7100-0285-8	O
[Gellner92]	Reason and Culture New Perspectives on The Past Blackwell 1992, ISBN 0-631-13711-4
[Gellner98]	Language and Solitude Wittgenstein, Malinowski and the Habsburg Dilemma Cambridge University Press 1998, ISBN 0-521-63997-2

Exact Real computation and domain theory.
[Gianantonio93]	Real number computability and domain theory; in Proceedings of the 18^th Symposium on Mathematical Foundations of Computer Science, Gdansk, Poland, 1993; p413-422 Springer LNCS 711.

Logic, philosophy.		S^tA
[Gödel30]	Completeness of the axioms of the functional calculus of logic, English translation in [Heijenoort67]
[Gödel31]	On fomally undecidable propositions of Principia Mathematica and related systems I, English translation in [Heijenoort67]

Automated reasoning and its applications in digital hardware design. Cambridge LCF, HOL.
[Gordon93]	Introduction to HOL - a theorem proving environment for higher order logic; with T.F.Melham, Cambridge University Press 1993; ISBN 0-521-44189-7

Oxonian analytic philosopher (of conversational implicature fame)
[Grice89]	Studies in the Ways of Words; Harvard University Press 1989; ISBN 0674852710