Bookmarks for Edward Nelson

Mathematics Links
Other Links
Logic and Computation
HTML
HTTP
Astronomy
Art, Literature, Nature
Information and Reference
Frogs etcetera
Software, Hardware, Languages

Logic & Computation

Directory of /pub/reports/theory
FLOC'99
FOM
Polski SunSITE
Mizar Home Page
IU Logic Program
CUNY Logic Workshop
LMS Journal of Computation and Mathematics
Modern Logic Home Page
Harvey Friedman's Home Page
Logic Eprints
G J Chaitin Limits of Mathematics Home Page
Kurt Goedel Society archive by thread
TLA - The Temporal Logic of Actions
Mathematical Logic at the University of Bonn
the QED Manifesto - RBJ edition
The QED Project - Home Page
Mathematical Logic around the world
The Mizar Project
TPHOLs'98
Particle Beam Physics Laboratory Quantum Information Page
Quantum computation: a tutorial
On-line Papers by Edward Nelson
What is nonstandard analysis?
The Hypertext Bibliography Project
Nordic Journal of Philosophy
Home Page for Paul E. Black
NSF Workshop on Automated Deduction
Factasia Index
IEEE Symposium on Logic in Computer Science

HTML

HTML+ (Hypertext markup format)
The Table Sampler
Hypertext Markup Language - 2.0 - The HTML Coded Character Set
The Web Developer's Virtual Library
NCSA--A Beginner's Guide to HTML
HTML Quick Reference (05/25/94)
The LaTeX2HTML Translator
HyperTeX
WebMaker
Outline index
Weblint Gateway

HTTP

Configuration of NCSA httpd
NCSA httpd tutorials
PostScript from the xxx archives

Astronomy

Space Telescope Electronic Information Service
The Hubble Deep Field
Mars Pathfinder - Welcome to Mars!
Mars Pathfinder Mission - Home Page
Mars Pathfinder - Mars - Other Images
Astronomy Picture of the Day
Astronomy Picture of the Day Archive
Directory of /pub/pictures (astro)
HST Archive
CADC Home Page (astro)
ESO/ST-ECF Archive (astro)
ST-ECF Homepage (astro)
Index of /gifimages/ (astro)
Directory of /web/gifimages
The Galaxy Gallery: Messier Objects
STScI Catalogs and Surveys Branch - Galaxy Picture Index
STScI Catalogs and Surveys Branch - Galaxy Cluster Picture Index
STScI Catalogs and Surveys Branch - Star Cluster Picture Index
STScI Catalogs and Surveys Branch - Supernovae Picture Index
STScI Catalogs and Surveys Branch - Nebula Picture Index
The NASA Homepage
Life From Mars: The Discovery
Project Galileo (JPL)
Solar System Live
Earth Viewer

Art, Literature, Nature

WebMuseum: Bienvenue! (Welcome from the keeper)
La grotte Chauvet
Music Room One
Music room two
Greek Mathematics and its Modern Heirs
Fractal Movie Archive
World Arts Resources
Books On-line: Titles
Medieval Literature Links
Islamic Architecture in Isfahan - Home Page
Geoffrey S. Watson
The age of enlightenment
Welcome to the University of California Museum of Paleontology
Australian National Botanic Gardens Biodiversity Server
CVO Photo Archives
Dante (robot)
The Smithsonian Institution Home Page
Dolphins and Man.....Equals?
Linn�tr�dg�rden
New Jersey Appalachian Trail

Information and Reference

Princeton Physics Department Calendar
Mathematical Physics Activities
NJOnline Weather
Strunk, William. 1918. The Elements of Style.
Columbia University: Project Bartleby
Oxford University Networked Information System
Bodleian Library WWW Server
UK Guide
London
Oxford
Britannica Online
Books On-line, Listed by Title
Search Princeton's Events Calendar (university)
Princeton Online Events Calendar (community)
E deZign Group, Princeton, New Jersey
The World Wide Web - Beneath the Surf
CIT Info Newsletters
MapQuest! Welcome!
The New York Times on the Web
CNN Interactive
Excite City.Net
DeLorme: CyberRouter
Cultural Survival: Reel Reviews
MathSciNet Home Page
Switchboard
Princeton's Experimental Campus CGI Facility
Public CGI Workstation Man Page Access
The Netizen - Campaign Dispatch
New York Public Library
Welcome To HotWired!
AAAS Home Page
Science "Computers On-Line" Forum
Drexel University
The Carter Center
National Science Foundation World Wide Web Server
SCIENCE On-Line
The World-Wide Web Virtual Library: Subject Catalogue

Frogs etcetera

LBL Imaging and Distributed Computing Group home page
Frog Dissection Kit Info Page
Continuously Refreshing Fishcam image
JPEG image 320x240 pixels (aquariaum)
Cool Site of the Day
Karl Sims -- Virtual Creatures
Kasparov vs Deep Blue
Roy Williams
Artificial Life ONLINE
Mersenne Prime Search
The SETI League, Inc. Home Page
University of California Search for Extraterrestrial Civilizations
Yahoo - Science:Artificial Life

Software, Hardware, Languages

Welcome to Network Computing Devices
Silicon Graphics' SILICON SURF Home Page
Sun Microsystems Home Page
Remote file ftp.x.org/contrib
alphaWorks
TeX Frequently Asked Questions
LaTeX Information
UF/NA Perl Archive
Thinking Machines Corporation Home Page
Netscape


The Princeton Spigot
R�seau Georges Reeb
Talk.com
JAR Special Issue on Formal Proof
Department of Philosophy - Jason Stanley
Thierry Coquand
Princeton University ACM Student Chapter
Introduction to HTML - Table of Contents
ICALP '97 Home Page
ImageMagick - X11 Image Processing and Display Package
Deja News - The Source for Internet Newsgroups!
Pontificia Universit� Lateranense
Theorem Proving with the Real Numbers
World-Wide Web Servers: Summary
Princeton Desktop Initiative
Hyperski: Resorts
Snocountry Worldwide - Snow Reports
Presentation of Otter's Proof of Winker's Condition
TIAA-CREF
YWCA
New Results with ANL's ATP software
Robbins Algebras Are Boolean
The ILF Server
Tracking
Hotel Wolcott
The Logic Daemon
NRC Homepage
NAS Members Public Homepage
ACL2 Version 1.9
Alonzo Church Archive
NJ Department of Health & Senior Services
Isabelle Course
Online Mizar Processor
Mizar Home Page
WebEQ 2.0
Paintings by Koko and Michael
HotWired: Webmonkey
COSMOS IN A COMPUTER
Media Alert: W3C Issues PICSRules and DSig1.0 Proposed Recommendations
YOU ARE ON J. HARTHONG'S HOMEPAGE
AltaVista: Translations
IRS - The Digital Daily: Income Tax Forms, Instructions, Publications, Regulations, and other stuff
The IRS Digital Daily Site Tree
In the Translation Lost Is the Poetry of It Now
The Outdoor Action Home Page
The Episcopal Church at Princeton
Ken Loo
Press Release: W3C Issues MathML as a W3C Recommendation
Mathematical Markup Language (MathML)
HyperTeX FAQ
DVI Viewer
Quantum Fluctuations
The Reality Club
Welcome to the Santa Fe Institute
Members' Information System
So You Want to Become a Forensic Psychologist???
Romulus: Stochastic Mechanics
Lingua Franca
Bohm Ford Nelson Prigogine Umezawa Quantum Theory and Bernoulli Schemes
sifa
National Gallery of Art
Forensic Clinical Psych. at Sam Houston State
American Academy of Forensic Psychology
gradp
The Master of Arts in Forensic Psychology
Villanova - MCP Hahnemann Law and Psychology Program
Legal Psychology Doctoral Program�Florida International University
Legal Psychology Program Description
GRADUATE PROGRAM IN LAW AND PSYCHOLOGY
Please title this page. (Page 1)
Psychology-Law Concentration
psylaw
Law-Psychology at Univ of Nebraska
gradp
Villanova - MCP Hahnemann Law and Psychology Program
Legal Psychology Doctoral Program�Florida International University
Graduate Education
Doctoral Program in Criminal Justice, CUNY
Please title this page. (Page 1)
Psychology-Law Concentration
Psych and Law Minor Home Page
About JSTOR
Welcome to JSTOR
SATLIB - The Satisfiability Library
MATHEMATICAL STUDIES: VOLUME 3
Adirondack Mountain Club
Tim's Adirondack Mtn Club Page
Bohm Ford Nelson Prigogine Umezawa Quantum Theory and Bernoulli Schemes
perl - Practical Extraction and Report Language
Molecular Biology 427: Biotechnology and Its Social Impact
Info Node: (perl)Top
Perl Tutorial
http://www.neci.nj.nec.com/homepages/wds/pu-course.html
http://www.neci.nj.nec.com/homepages/wds/
Welcome to the Judiciary Committee Home Page!
CUNY Logic Workshop
Les Math�matiques Relatives
ACM: Computing Research Repository
Toward a Science of Consciousness Tokyo

Personal Toolbar Folder

Members
WebMail
Connections
BizJournal
SmartUpdate
Mktplace

Les Math�matiques Relatives
d e v h e a d -- HTML
Welcome to Science's Next Wave
Forensic Psychology
Sugar Sand
Genealogy
THE GODELIAN ARGUMENT
Adirondack Mountain Club
On the Power of Quantum Computation

NMR Quantum Computing Home Page
Info Node: (perl)Top
Distributed Perl Documentation (5.005_02)
perl - Practical Extraction and Report Language
Conference on Infinite dimensional analysis and quantum physics
Conference on Infinite dimensional analysis and quantum physics
Miniature oil pet portraits by artist Marcella S. Nelson
Chance in Physics: conference in Dec 1999
Miniature oil pet portraits by artist Marcella S. Nelson
http://setiathome.ssl.berkeley.edu/windows_help.html
SETI@home: Windows Client Software
Chance in Physics: conference in Dec 1999
Volume 6 (1) of The Electronic Journal of Combinatorics