UP
bibliography ..W
Home Page=home page
Notes=notes
Online Text=online text
quote=quotes
an ibs partner =buy from iBS
an amazon associate=buy from Amazon
Internet Encyclopaedia of Philosophy - W Philosophy in Cyberspace - thinkers - W Stanford Encyclopaedia of Philosophy - W

Philip Wadler

Functional programming languages, design and implementation. GJ, Pizza, and Java, Erlang, monads, linear logic, call-by-need and call-by-value, type classes, parametricity, deforestation, strictness analysis, language design, and garbage collection. Home Page

Klaus Weihrauch
Computable analysis. Publications
[Weihrauch85] Type 2 Recursion Theory - Theoretical Computer Science 38, pp 17-33, 1985.
[Weihrauch95] A Simple Introduction to Computable Analysis
Informatik-Berichte Nr.171, FernUniversität, Haagen, 2nd edition, 1995.
Electronic copy
[Weihrauch95b] A Foundation of Computable Analysis
EATCS Bulletin Number 57 pp 167-182, October 1995.
Contents

Joseph Weizenbaum

   
  Weizenbaum examines computers and society - interview Online Text
[Weizenbaum76] Computer Power and Human Reason - from judgement to calculation; W H Freeman, 1976. ISBN 0716704633 purchase from amazon purchase from ibs

Freek Wiedijk

Mathematics, physics, computing, computer mathematics. Home Page
  List of Computer Maths Systems By Category

Edwin Wiedmer

[Wiedmer76] Wiedmer, Edwin;
Exaktes Rechnen mit reellen Zahlen; Eidgenössische Technische Hochschule, Zurich, Institut für Informatik, berichte Nr. 20, Juli 1976.
[Wiedmer77] Wiedmer, Edwin;
Exaktes Rechnen mit reellen Zahlen undt anderen unendlichen Objekten; PhD thesis, Eidgenössische Technische Hochschule, Zurich, 1977, ETH 5975
[Wiedmer80] Wiedmer, Edwin;
Computing with Infinite Objects; Theoretical Computer Science, Volume 10, pp 133-155, 1980

Raymond Wilder

[Wilder65] Wilder, Raymond L.;
Introduction to the Foundations of Mathematics; Second edition, John Wiley & Sons, 1965. purchase from amazonO

Margaret L. Wiley
Creative scepticism in 17th century England.
[Wiley52] The Subtle Knot
creative scepticism in 17th century England.
Contents

John Noble Wilford

[Wilford85] Wilford, John Noble;
The Riddle of the Dinosaur; Faber and Faber, 1985; purchase from amazon Notes

Douglas Pardoe Wilson

Social engineering, supported by, linguistic technology, information retrieval, and combinatorial optimization. Home Page
  Social Technology - web site Web Site

Ludwig Wittgenstein

Notes Episteme Links The Interrnet Encyclopaedia books by Ludwig Wittgenstein Analytic Philosopher
  Humphrey on Kripke, Stanford Encyclopaedia on Private Languages, Brian Carver.
[Wittgenstein21] Tractatus Logico-Philosophicus Routledge & Kegan Paul, 1974. purchase from amazon purchase from ibs Notes
[Wittgenstein53] Philosophical Investigations Second edition, Basil Blackwell, 1974. purchase from amazon purchase from ibs
[Wittgenstein58] The Blue and Brown Books Second edition, Basil Blackwell, 1969. purchase from amazon purchase from ibs
See also:P.M.S.Hacker  

Stephen Wolfram

  • Mathematica
  • Fundamental issues in science
  • Behavior of cellular automata and other simple computer programs
  • Origins of complexity in nature
  • Design of computer languages
  • History of science and thought
  • Science and technology strategy
StephenWolfram.com Wolfram.co.jp
[Wolfram88] The Mathematica Book - A system for doing Mathematics by Computer - Third edition 1996, Cambridge University Press. purchase from amazon purchase from ibs

Sybil Wolfram

[Wolfram89] Wolfram, Sybil;
Philosophical Logic - An Introduction; Routledge, 1989. purchase from amazon purchase from ibs Notes

Paul Wong

Various. Including Logic. Home Page

Cecil Woodham-Smith

[Woodham-Smith62] Woodham-Smith, Cecil;
The Great Hunger - Ireland 1845-1849; Paperback edition, Penguin Books, 1991. purchase from amazon purchase from ibs

W. Hugh Woodin

Woodin cardinals. The continuum hypothesis. Home Page

Larry Wos

[Wos88] Wos, Larry;
Automated Reasoning - 33 Basic Research Problems; Prentice Hall, 1988. ISBN 0-13-054552-X purchase from amazonO

Crispin Wright

Professor of Logic and Metaphysics at the University of St.Andrews. Current research continues his work on Frege's philosophy of mathematics, Wittgenstein's later philosophy and on issues related to truth, realism and objectivity. Home Page
[Wright80] Wittgenstein on the Foundations of Mathematics, Duckworth 1980. purchase from amazon? purchase from ibs?
[Wright99] A Companion to the Philosophy of Language, with Bob Hale (editors), Blackwell Publishers 1999. purchase from amazon purchase from ibs

Graham Wrightson

see [Siekmann83a] and [Siekmann83b].

UP HOME © RBJ created 1995/03/15 modified 2007/01/29