The Factasia Omniography

..P

	=	home page
	=	notes

	=	online text
	=	quotes

	=	buy from iBS
	=	buy from Amazon

Lawrence C. Paulson

Automatic theorem proving and its applications. Cambridge LCF, HOL, Isabelle.

[Paulson96] ML for the working programmer
2^nd edition; Cambridge University Press 1996 ISBN 0-521-56543-X;

Patrick Peccatte

Philosophy of Science and Mathematics

Histoire et philosophie des mathématiques (web page)

Charles Peirce

Philosophy. Pragmatism. S^tA

The Peirce Edition Project

Lorenzo Peña

Logic, philosophy of logic, philosophy of language and metaphysics. Deontic and juridical logic.

Roger Penrose

[Penrose90] Penrose, Roger;: The Emperor's New Mind concerning computers, minds, and the laws of physics; Vintage 1990;
[Penrose94] Penrose, Roger;: Shadows of the Mind a search for the missing science of consciousness; Oxford University Press 1994;

Åke Persson

Polyvalued logic.

David Plume

Exact real arithmetic (using signed binary expansions and dyadic rational streams).

Wolfram Pohlers

[Pohlers89] Pohlers, Wolfram;: Proof Theory; Springer-Verlag 1989; ISBN 0-387-51842-8

Karl R.Popper

Philosopher

The Karl Popper Web - web site

[Popper45a] The Open Society and its Enemies - Volume 1 - The Spell of Plato
5th edition, Princeton University Press 1966, ISBN 0691019681

[Popper45b] The Open Society and its Enemies - Volume 2 - The High Tide of Prophecy: Hegel, Marx and the Aftermath
5th edition, Princeton University Press 1966, ISBN 069101972X

[Popper59] The Logic of Scientific Discovery
Hutchinson 1972, ISBN 0091117216, 041507892X

[Popper63] The Poverty of Historicism
Reprint edition (June 1993) Routledge; ISBN: 0415065690

[Popper63b] The Demarcation between Science and Metaphysics
in [Carnap63]

[Popper76] Unended Quest an intellectual autobiography
Flamingo 1986; ISBN 0415086930

[Popper82] Quantum Theory and the Schism in Physics
from the postscript to The Logic of Scientific Discovery; Routledge 1982, ISBN 0415091128

[Popper82b] The Open Universe an argument for indeterminism
from the postscript to The Logic of Scientific Discovery; Hutchinson 1988, ISBN 0091461812, 0415078652

Emil Post

Logic. The decision problem. Post production systems. S^tA

[Post21] Introduction to the General Theory of Elementary Propositions
Doctoral dissertation, presented at Columbia University in 1920. Presented at the AMS on 24th April 1920. Published in the American Journal of Mathematics 43, 163-185, also in [Heijenoort67]

[Post36] Finite Combinatory Processes - Formulation 1
The Journal of Symbolic Logic, Volume 1, Number 3, September 1936

[Post44] Recursively Enumerable Sets of Positive Integers and their Decision Problems
Presented in New York (at the AMS?) on February 26 1944

Peter Potts

Exact Real Arithmetic using Möbuis (aka linear fractional) transformations. (implemented in Miranda)

Joëlle Proust

Philosophy of logic, philosophy of mind.

[Proust86] Questions de forme. Logique et proposition analytique de Kant à Carnap
Paris, Fayard, 1986. English transl. by Anastasios Brenner: Questions of form, Minneapolis, University of Minnesota Press, 1989.

created 1995/05/09 modified 2009/07/21

Automatic theorem proving and its applications. Cambridge LCF, HOL, Isabelle.
[Paulson96]	ML for the working programmer 2^nd edition; Cambridge University Press 1996 ISBN 0-521-56543-X;

Philosophy of Science and Mathematics
	Histoire et philosophie des mathématiques (web page)

Philosopher
	The Karl Popper Web - web site
[Popper45a]	The Open Society and its Enemies - Volume 1 - The Spell of Plato 5th edition, Princeton University Press 1966, ISBN 0691019681
[Popper45b]	The Open Society and its Enemies - Volume 2 - The High Tide of Prophecy: Hegel, Marx and the Aftermath 5th edition, Princeton University Press 1966, ISBN 069101972X
[Popper59]	The Logic of Scientific Discovery Hutchinson 1972, ISBN 0091117216, 041507892X
[Popper63]	The Poverty of Historicism Reprint edition (June 1993) Routledge; ISBN: 0415065690
[Popper63b]	The Demarcation between Science and Metaphysics in [Carnap63]
[Popper76]	Unended Quest an intellectual autobiography Flamingo 1986; ISBN 0415086930
[Popper82]	Quantum Theory and the Schism in Physics from the postscript to The Logic of Scientific Discovery; Routledge 1982, ISBN 0415091128
[Popper82b]	The Open Universe an argument for indeterminism from the postscript to The Logic of Scientific Discovery; Hutchinson 1988, ISBN 0091461812, 0415078652

Logic. The decision problem. Post production systems.		S^tA
[Post21]	Introduction to the General Theory of Elementary Propositions Doctoral dissertation, presented at Columbia University in 1920. Presented at the AMS on 24th April 1920. Published in the American Journal of Mathematics 43, 163-185, also in [Heijenoort67]
[Post36]	Finite Combinatory Processes - Formulation 1 The Journal of Symbolic Logic, Volume 1, Number 3, September 1936
[Post44]	Recursively Enumerable Sets of Positive Integers and their Decision Problems Presented in New York (at the AMS?) on February 26 1944

Philosophy of logic, philosophy of mind.
[Proust86]	Questions de forme. Logique et proposition analytique de Kant à Carnap Paris, Fayard, 1986. English transl. by Anastasios Brenner: Questions of form, Minneapolis, University of Minnesota Press, 1989.