![]() |
![]() |
|
Physicist.. | ![]() |
Type theory, Metatheory, Functional programming, Program extraction, Bootstrap, Reduction functions | ![]() | |
[BarrasSCCS] | Sets in Coq, Coq in Sets | ![]() |
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 |
![]() ![]() |
Logic and the metamathematics of constructive mathematics. | ![]() | |
[Beeson80] | Foundations of Constructive Mathematics Springer-Verlag 1980 |
![]() ![]() |
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. |
![]() ![]() |
[Berlin2004] | Liberty, Edited by Henry Hardy. This includes his "Four Essays on Liberty" and various other writings on the same topic, Oxford University Press, 2004. |
![]() ![]() |
[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. |
![]() ![]() |
Inventor of the World Wide Web and enthusiast for the Semantic Web | ||
Design Issues - concerning the web |
![]() |
Formal Methods. VDM. Railway software. | ![]() | |
Triptych - a Programming Methodology Project |
![]() |
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) |
Exact computation with reals (inter alia). | ![]() |
Physics, computational neuroscience, mathematical logic, philosophy, AI and some psychology. | ![]() |
Theory of Formal Methods, Application of Formal Methods and Concurrency Theory. Exotic Applications of Formal Methods | ![]() |
Recursive and computable operations of topological spaces (including reals). | ![]() |
XR, Exact computation with reals (inter alia). | ![]() |
Literary agent, and author. | ![]() | |
[Brockman95] | The Third Culture; Simon & Schuster 1995; ISBN 0684823446 | ![]() ![]() ![]() |
Digerati; web site dedicated to the deification of a techno-elite | ![]() |
![]()
|
![]() |
Logic, especially combinatory logic. | ![]() |
Philosophy, logic, set theory. | ![]() |