..H

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

[Haack78] Haack, Susan;

Philosophy of Logics; Cambridge University Press 1978; ISBN 0-521-29329-4

P.M.S.Hacker

Analytic Philosophy. The Philosophy of Ludwig Wittgenstein.
[Hacker80]	Wittgenstein, Understanding and Meaning Volume 1 of an Analytical Commentary on The Philosophical Investigations, with G.P.Baker, Blackwell Oxford 1980; ISBN 0631130691
[Hacker85]	Wittgenstein, Rules, Grammar and Necessity Volume 2 of an Analytical Commentary on The Philosophical Investigations, with G.P.Baker, Blackwell Oxford 1985; ISBN 0631161880
[Hacker90]	Wittgenstein, Meaning and Mind Volume 3 of an Analytical Commentary on The Philosophical Investigations, Blackwell Oxford 1990; ISBN 0631189343
[Hacker96a]	Wittgenstein, Mind and Will Volume 4 of an Analytical Commentary on The Philosophical Investigations, Blackwell Oxford 1996; ISBN 0631187391
[Hacker96b]	Wittgenstein's Place in Twentieth Century Analytic Philosophy, An interlocking collection of Literary, Scientific and Artistic Studies. Blackwell Publishers 1996; ISBN 0-631-20099-1

Bob Hale

Philosophy of mathematics, logic and language.
[Hale99]	A Companion to the Philosophy of Language; Blackwell Publishers 1999

Keith Hanna

The use of formal methods for hardware design, synthesis and verification using higher order dependent type theories. Design, implementation and application of VERITAS.

Robin Hanson

Economist. Wannabe "economist of science fiction". Promoter of institutional innovation ("alternative institutions") and inventor of "ideas futures", and lots of other ideas of similar ilk.

John Harrison

Formal verification of software. HOL Light. Floating point verification. Theorem proving with real numbers. Formalised mathematics.

W.D.Hart

[Hart96] Hart, W.D. (ed.);

The Philosophy of Mathematics; Oxford University Press 1996; ISBN 0-19-875120-6

William S. Hatcher

[Hatcher82] Hatcher, Wiliiam S.;

The Logical Foundations of Mathematics; Pergammon 1982; ISBN 0-08-025800-X

John Haugeland

[Haugeland81] Haugeland, John (ed.);

Mind Design; MIT Press 1981; ISBN 0-262-58052-7 ; ISBN 0-262-58153-1

[Heijenoort67] van Heijenoort, Jean;

From Frege to Gödel - A Source Book in Mathematical Logic 1879-1931; Harvard University Press 1967; SBN 674-32450-1

Reinhold Heckmann

Exact Real Arithmetic (using linear fractional transformations) Domain Theory Document Processing Functional Programming Languages Compiler Construction

Vincent F. Hendricks

Associate Professor of Epistemology, Logic and Methodology (lektor) in the Department of Philosophy and Science Studies at the University of Roskilde, Denmark.
	Philog
	Phinews

Reuben Hersh

[Hersh97] Hersh, Reuben;

What is Mathematics, Really?; Oxford University Press 1997; ISBN: 0195113683 ; ISBN 0099748312

see also: [Davis80] and [Davis86].

Francis Heylighen

Cybernetics. The global brain. Editor of and contributor to Principia Cybernetica Web.

David Hilbert

[Hilbert04] Hilbert, David;

On the foundations of logic and arithmetic, English translation in [Heijenoort67]

[Hilbert25] Hilbert, David;

On the infinite, English translation in [Heijenoort67] and in [Benacerraf83]

[Hilbert27] Hilbert, David;

The Foundations of Mathematics, English translation in [Heijenoort67]

Mathematical logic; particularly lambda-calculus, combinatory logic and type-theory.
[Hindley72]	Introduction to Combinatory Logic with Lercher, B. and Seldin, J.P., CUP 1972; ISBN 0 521 09697 9
[Hindley86]	Introduction to Combinators and the Lambda Calculus with Jonathan P. Seldin CUP 1986
[Hindley95]	Basic Simple Type Theory, CUP 1995
see also:	[Curry72]

Wilfrid Hodges

Logic, Mathematics, Semantics

Douglas R. Hofstadter

Artificial Intelligence
[Hofstadter80]	Gödel, Escher, Bach: an eternal golden braid, A metaphorical fugue on minds and machines in the spirit of Lewis Caroll. Penguin Books 1980; ISBN 0140055797	? ?
[Hofstadter85]	MetaMagical Themas: Questing for the essence of mind and pattern, An interlocking collection of Literary, Scientific and Artistic Studies. Penguin Books 1985; ISBN 0140179968(UK)Basic Books ISBN 0465045669(US)

James P. Hogan

[Hogan86] Hogan, James P.;

The Proteus Operation, Century Fantasy and S.F., Arrow Books Limited 1986;

Jools Holland

Blues & Jazz pianist.
	A-Z Of Piano
	Solo Piano
	Best of Jules Holland
	Jazz Piano an anthology of the greatest jazz pianists, with intro and a couple of tracks by Jools Holland. Temple TMPCD024.

Randall Holmes

Combinatory Logic. Quine's New Foundations. Set Theory with a Universal Set

Mike Huben

A zealous, evangelistic, crusading agnostic and skeptic, in religion, politics, pseudoscience, and quack medical practice.
	Critiques of Libertarianism

David Miles Huber

Musician and digital audio consultant.
[Huber1999]	The Midi Manual a practical guide to midi in the music studio, second edition, Focal Press 1999; ISBN 0240803302

David Hume

1711-1766. Scottish empiricist philosopher.
	The Hume Archive
	David Hume; at the McMaster archive for the history of economic thought.
[Hume39]	A Treatise of Human Nature HTML from Carl Mickelsen (University of Idaho) HTML from McMaster Archive
[Hume48]	An Enquiry Concerning Human Understanding; London, Millar 1748 HTML from Carl Mickelsen (University of Idaho)

Geoffrey Hunter

[Hunter71] Hunter, Geoffrey;

Metalogic An Introduction to the Metatheory of Standard First-Order Logic; Macmillan 1971 and University of California Press

Martin Hyland

The syntax and semantics of the lambda calculus, general recursion theory, sheaf models for intuitionistic theories, general categorical logic and topos theory, the effective topos, other realizability toposes and constructive mathematics as developed in such frameworks, topos theoretic models for polymorphism, linear logic and game theoretic semantics.

Peter Hylton

[Hylton92] Hylton, Peter;

Russell, Idealism, and the Emergence of Analytic Philosophy; Clarendon Paperbacks (OUP)1992;

Quine; Routledge 2007;

---

© created 1994/9/22 modified 2009/11/30