..M

= home page = notes = online text = quotes = buy from iBS = buy from Amazon

Maarten Maartensz

Philosophy, logic, literature, essays, computing, ME.

John McCarthy

Logical AI.

Donald MacKenzie

Sociology. Logic and Proof.
[MacKenzie95]	Automation of Proof: A Historical and Sociological Exploration; IEEE Annals of the History of Computing, Vol.17 No.3,1995
[MacKenzie2001]	Mechanising Proof: Computing, Risk and Trust; MIT Press, inside technology series, 2001

Saunders Mac Lane

[MacLane71] Mac Lane, Saunders;

Categories for the Working Mathematician; Springer-Verlag 1971; ISBN 0387900357;

[MacLane86] Mac Lane, Saunders;

Mathematics, Form and Function; Springer-Verlag 1986;

David A. McNaughton

Philosophy. Ethics.
[McNaughton88]	Moral Vision Basil Blackwell, 1988

Chris Macrae

[Macrae91] Macrae, Chris;

World Class Brands; Addison Wesley 1991;

[Macrae97] Macrae, Chris;

The Brand Chartering Handbook: How Brand Organisations Learn 'Living Scripts'; Addison Wesley 1997;

Bryan Magee

Philosophy.
[Magee78]	Men of Ideas - some creators of contemporary philosophy Oxford Paperbacks, Oxford University Press, 1982, ISBN 0-19-283034-1	O

Norman Malcolm

Philosophy. Wittgenstein.
[Malcolm62]	Ludwig Wittgenstein - a memoire Oxford Paperbacks, Oxford University Press, second edition 1984, ISBN 0-19-283042-2	O

Peter Marshall

Anarchism
[Marshall1992]	Demanding the Impossible a history of anarchism Harper Perennial, 2008

Adrian Matthias

Set theory. History of Logic. The ignorance of Bourbaki.

John Mayberry

Foundations of mathematics and technical problems in logic which bear directly on the foundations of mathematics
[Mayberry2000]	The Foundations of Mathematics in the Theory of Sets Cambridge University Press, 1988

Valérie Ménissier-Morain

Exact Arithmetic.

Robin Milner

[Milner97] Milner, Robin; Tofte, Mads; Harper, Robert; MacQueen, David;

The Definition of Standard ML (revised); MIT Press, 1997;

Marvin Minsky

[Minsky67] Minsky, Marvin L.;

Computation - Finite and Infinite Machines; Prentice Hall, 1967;

Michel de Montaigne

French aristocrat of the sixteenth century. Essayist (with a style which is a predecessor of "stream of consciousness"). Sceptic.
[Montaigne2003]	The Complete Works - essays, travel journal, letters Everyman's Library, 259, 2003

G.E.Moore

Philosopher. Co-conspirator with Bertrand Russell in the genesis of modern analytic philosophy.
[Moore03]	Principia Ethica Cambridge University Press, 1959
[Moore25]	A Defence of Common Sense in [Moore93]
[Moore93]	Selected Writings Routledge, 1993

Gregory Moore

[MooreG?] Mooore, Gregory;

The emergence of first order logic; in Aspray & Kitcher (ed) - History and Philosophy of Modern Mathematics (Minnesota Studies in the Philosophy of Modern Science) ISBN 0816615675 (out of print)

Paul K. Moser

[Moser87] Moser, Paul K. (Editor);

A Priori Knowledge; Oxford University Press, 1987;

H.O. Mounce

Philosopher. Pragmatism.
[Mounce97]	The Two Pragmatisms Routledge, 1997

Frederik Archibold Muller

Foundations and philosophy of physics, mathematics and logic. Philosophy of science. Of his doctoral thesis (summarised on his home page) he says: "In brief, this Thesis is an old-fashioned quest for a founding language and a founding theory for physical and mathematical knowledge".

---

© created 1995/3/7 modified 2008/05/28