..B

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

Roland Backhouse

Mathematics of program construction. Calculus of relations. Category theory. Mathematical method. Generic programming. On-line document preparation systems oriented to the needs of authors of mathematical documents.

Francis Bacon

[Bacon25] Bacon, Francis;

Essays; Wordsworth Editions Limited, 1997 Prometheus Books 1995

John Baez

Physicist..

Henk Barendregt

[Barenderegt83] Barendregt, Henk P., Rezus, Adrian;

Semantics for classical AUTOMATH and related systems.; Information and Control, 59(1-3):127-147, October/November/December 1983. [hbp Reference in context]

[Barenderegt84] Barendregt, H.P.;

The Lambda Calculus - Its Syntax and Semantics; Second Edition, North Holland 1984

[Barenderegt91] Barendregt, Henk P.;

Introduction to generalized type systems.; Journal of Functional Programming, 1(2):125-154, April 1991. [hbp Reference in context]

Jon Barwise

Logic and its applications in cognitive science, philosophy, and computer science.
[Barwise87]	The Liar (with John Etchemendy) Oxford University Press 1987
[Barwise92]	The Language of First Order Logic (with John Etchemendy) CSLI Lecture Notes Number 34, CLSI/SRI 1992; ISBN 0-9370-7390-3

Michael Beeson

Logic and the metamathematics of constructive mathematics.
[Beeson80]	Foundations of Constructive Mathematics Springer-Verlag 1980

Paul Benacerraf

[Benacerraf83] Benacerraf, Paul; Putnam, Hilary (Eds);

Philosophy of Mathematics, second edition; Cambridge University Press 1983;

Isaiah Berlin

History of ideas, political philosophy.
[Berlin78]	Russian Thinkers, Penguin Books, 1994.
[Berlin79]	Against the Current - Essays in the History of Ideas, Clarendon Paperbacks, 1979.
[Berlin90]	The Crooked Timber of Humanity - Chapters in the History of Ideas, John Murray (publishing) Ltd., 1990.
[Berlin02]	Freedom and its Betrayal - Six Enemies of Human Liberty, Chatto & Windus, 2002.
[Berlin1999]	The Roots of Romanticism - The A.W. Mellon Lectures in the Fine Arts, 1965, Edited by Henry Hardy, Pimlico, 1999.
[Berlin2006]	Political Ideas in the Romantic Age - Their Rise and Influence on Modern Thought, Edited by Henry Hardy with and introduction by Joshua L. Cherniss, the long (but incomplete) version of the 1952 Flexnor Lectures, Chatto & Windus, 2006.

Tim Berners-Lee

Inventor of the World Wide Web and enthusiast for the Semantic Web
	Design Issues - concerning the web

Errett Bishop

[Bishop67] Bishop, Errett;

Foundations of Constructive Analysis; McGraw Hill 1967; (out of print)

[Bishop85] Bishop, Errett; Bridges, Douglas;

Constructive Analysis; Springer-Verlag 1985 ISBN 3 540 150668; ISBN 0 387 150668

Dines Björner

Formal Methods. VDM. Railway software.
	Triptych - a Programming Methodology Project

Howard K. Bloom

Founder of the International Paleopsychology Project and executive editor of Mindfire. Leader of the "Group Selection Squad" (a worldwide team of 45 scientists dedicated to opening new horizons within the evolutionary disciplines), and a board member of the Epic of Evolution Society.
[Bloom1997]	The Lucifer Principle: a scientific expedition into the forces of history; Atlantic, 1997 ; TV series proposal
[Bloom2000]	Global Brain: The Evolution of Mass Mind from the Big Bang to the Twenty First Century John Wiley & Sons 2000. See also: Global Brain YahooGroup
	Re-inventing Capitalism (web page)
	Big Bang Tango Media Lab (web page)

Hans Boehm

Exact computation with reals (inter alia).

Margaret A. Boden

[Boden90] Boden, Margaret A. (Ed.);

The Philosophy of Artificial Intelligence; Oxford University Press 1990

George Boolos

[Boolos74] Boolos, George S.; Jeffrey, Richard C.;

Computability and Logic; Cambridge University Press 1974

[Boolos90] Boolos, George S.(Ed.);

Meaning and Method: Essays in Honour of Hilary Putnam; Cambridge University Press 1990

[Boolos90b] Boolos, George S.;

The Standard of Equality of Numbers; in [Boolos90];

[Boolos93] Boolos, George S.;

The Logic of Provability; Cambridge University Press 1993

[Boolos97] Boolos, George S.;

Is Hume's Principle Analytic?; in [Boolos98];

[Boolos98] Boolos, George S.;

Logic, Logic and Logic; Harvard University Press 1998

Nick Bostron

Physics, computational neuroscience, mathematical logic, philosophy, AI and some psychology.

Howard Bowman

Theory of Formal Methods, Application of Formal Methods and Concurrency Theory. Exotic Applications of Formal Methods

Raymond Bradley

[Bradley79] Bradley, Raymond; Swartz, Norman;

Possible Worlds an introduction to Logic and its Philosophy; Hackett 1979;

Vasco Brattka

Recursive and computable operations of topological spaces (including reals).

Douglas Bridges

[Bridges87] Bridges, Douglas; Richman, Fred;

Varieties of Constructive Mathematics; LMS Lecture Note Series 97, Cambridge University Press 1987

Keith Briggs

XR, Exact computation with reals (inter alia).

John Brockman

Literary agent, and author.
[Brockman95]	The Third Culture; Simon & Schuster 1995; ISBN 0684823446	Review
	Digerati; web site dedicated to the deification of a techno-elite

James Robert Brown

Philosophy of Science Thought Experiments Scientific Realism Philosophy of Mathematics Foundations of Physics Science and Society

Kevin Brown

Mathematics, Physics, Music. Set Theory and Foundations

Martin Bunder

Logic, especially combinatory logic.

Alan Bundy

Computational modelling of mathematical reasoning. The use of proof plans to guide the search for a proof in automatic theorem proving, especially inductive proofs. The application of theorem proving to formal methods of software and hardware development.
[Bundy83]	The Computer Modelling of Mathematical Reasoning Academic Press 1983; ISBN 0-12-141252-0	O

John Burgess

Philosophy, logic, set theory.

---

© created 1995-02-09 modified 2007/01/24