Links Page of Paul E. Oppenheimer

• Home
• Curriculum Vitæ
• Papers
• Contact
• Stanford Encyclopedia of Philosophy
• Metaphysics Research Lab
• Store
• Personal

• Philosophy
• Logic
• Search
• General Reference
• Artificial Intelligence
• Automated Reasoning
• Stanford Encyclopedia of Philosophy
• Writing
• Religion
• Mathematics
• Physics
• Cognitive Science
• MacOS X 10.x
• Systems Administration
• Web Tools
• Artificial Intelligence
• Artificial Intelligence: Automated Reasoning
• Artificial Intelligence: Representation
• Institutions
• Universities
• United States Government
• General Computer Reference
• News
• Beaux Arts
• Blogs
• Miscellaneous Links
• Personal Links
• Social Networks
• Twitter

Philosophy Links

• American Philosophical Association
• Arts and Letters Daily (Service of the Chronicle of Higher Education)
• Association for Symbolic Logic
• Australasian Association of Philosophy
• Australasian Journal of Philosophy
• Blackwell Publishing
• Boethius: Consolatio Philosophiæ
• Computational Metaphysics
• Philosophy Documentation Center
• Guide to Philosophy on the Internet (Peter Suber's Guide)
• InPhO (The Indiana Philosophy Ontology Project)
• MIT CogNet
• Metaphysics: Multiple Meanings
• Philosophers' Imprint
• Philosophical Gourmet Report (Brian Leiter, University of Chicago)
• PhilEvents
• PhilPapers: Online research in philosophy
• Project Euclid
• Philosophical Lexicon
• Daniel Dennett
• Blackwell Publishing, Philosophy
• Metaphysics Research Lab
• Philosophy Talk
• Stanford Encyclopedia of Philosophy
• Ernst Mally (brief biography from the Metaphysics Research Lab)
• UC Berkeley Philosophy
• The Internet Encyclopedia of Philosophy
• Philosophy at Wikipedia
• Garth Kemerling, Philosophy Pages
• Philosophy at EServer
• the Indiana Philosophy Ontology project
• the Federated Logic Conference (FLoC) 2010
• Journal of Logic and Computation
• Oxford Philosophy

Logic

• Association for Symbolic Logic
• Logic Matters, Peter Smith

Writing

• 750 Words

Useful Places to Search

• doi
• Google
• Microsoft Academic
• Snap
• Internet Archive
• JSTOR Online Article Retrieval
• The Library of Congress
• OAIster Union Catalog of Digital Resources (University of Michigan)
• Internet FAQ Archives
• Susanne Riehemann's Links Page
• CiteSeer Engine for Citation Searching
• Eric Weisstein's World of Mathematics
• Mally's Start page
• Wikipedia
• Google Maps
• Stanford University Libraries and Academic Information Resources
• Mendeley
• Wolfram|Alpha
• Dogpile

Stanford Encyclopedia of Philosophy

• Homepage
• Editors
• Table of Contents
• Editorial Information
• What's New
• Advanced Search Encyclopedia
• Encyclopedia Archives
• Encyclopedia Table of Symbols
• Encyclopedia RSS Feed
• RSS feed
• Mathematics HTML Sampler
• SEP
• Guidelines and Policies for Entry Content (Stanford Encyclopedia of Philosophy)
• some Unicode chars
• Chronological List of Published Entries
• Editorial Board
• Plagiarism and Copyright Links (at www.transcendentalism.org)

Artificial Intelligence

• Association for the Advancement of Artificial Intelligence (AAAI)
• McGovern Institute for Brain Research at MIT
• MIT Intelligence Initiative

Reasoning

• IJCAR 2010
• The TPTP Problem Library for Automated Theorem Proving (Geoff Sutcliffe and Christian Suttner)
• Prover9 and Mace4 (William McCune)
• The E Equational Theorem Prover (Technische Universität München)
• Conference on Automated Deduction (CADE)
• Protege
• TPS Theorem Proving System
• Portoraro, Frederic, “Automated Reasoning”, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.)
• Andrei Voronkov's homepage
• Isabelle
• Mechanized Reasoning (Formal Reasoning Group, Stanford University)
• Objective Caml (OCaml)
• ACL2: A Computational Logic
• Alfa/Agda
• B Prover
• EQP Equational Prover
• HOL Automated Reasoning Group
• IMPS: An Interactive Mathematical Proof System
• Isabelle/Isar
• The Lego Proof Assistant
• Metamath
• The Minlog System
• The Mizar Project
• The Nuprl Project
• Omega Group
• Paradox
• The PhoX Proof Assistant
• Prover 9 and Mace 4
• PVS Specification and Verification System
• Theorema
• TPS Theorem Proving System
• The CADE ATP System Competition
• The TPTP Problem Library for Automated Theorem Proving
• CADE: The Conference on Automated Deduction
• TPTP Technical Report

Representation

• PolyML Download Page
• Logical Frameworks page (Frank Pfenning)
• List of Logical Frameworks and Links (Frank Pfenning)
• SRI's Artifactory Research Resources (links XML, RDF, DAML+OIL, Ontolingua, Semantic Web, etc.)
• DAML+OIL Reference Description (March 2001)
• DAML.org
• DAML+OIL Axioms
• The Caml Language

Mathematics

• Seth Oppenheimer
• American Mathematical Society
• Project Euclid: mathematics and statistics online

Religion

Judaica

• Boraz, Edward S., 1996, Understanding the Talmud: A Modern Reader's Guide for Study, Jerusalem, London, and Northvale, New Jersey : Jason Aronson Inc.
• Judaism 101
• Virtual Cantor

Physics

• Bohmian Mechanics
• Collaboration Bohmian Mechanics
• Bohmian Mechanics at the University of Innsbruck
• Pablo Yepes' Double Slit Experiment Simulator
• Chris Dewdney's de Broglie-Bohm website
• Eric Dennis's discussion e-group on Bell's inequality and Bohmian mechanics
• Sheldon Goldstein's Exchange of letters on Quantum Theory Without Observers
• Bose-Einstein Condensation at NIST

Cognitive Science

• Indiana University Cognitive Science

General Reference Resources

• Encyclopædia Britannica Online
• Internet Archive
• MIT OpenCourseWare
• O'Reilly Safari Library
• Oxford English Dictionary
• British Library
• Stanford Encyclopedia of Philosophy
• Stanford University Libraries and Academic Information Resources

Libraries

• Stanford University: Libraries
• The University of Adelaide: University Library
• Open Archives Initiative
• Internet Archive
• Arizona State University
• Scottsdale Public Library System
• Computer and Information Science Papers CiteSeer Publications ResearchIndex
• The WWW Virtual Library
• The Library of Congress catalog
• News from Scottsdale Public Library
• JSTOR
• CiteSeerX

Computer Systems Administration

General SysAdmin Reference

• O'Reilly Safari Library

Unix/Server Administrative Software

• Apache HTTP Server Project
• Postfix
• Postfix Performance Tuning
• Postfix Backscatter Howto
• Postfix Standard Configuration Examples
• ASCII table
• The Pine FAQ
• Installing Spam Assassin on OS X
• Rsync Homepage
• HTML Tidy homepage
• The BibTeX-XML-HTML Bibliography Project

W3C, HTML, XML, MathML, TEI, Unicode, and MathJax

• W3Schools Online Web Tutorials
• W3C Organization
• W3C HTML Homepage
• W3C HTML Validation Service
• XHTML 1.0
• XHTML 2.0 Reference Specification
• The W3C HTML 4.01 Reference Specification
• The W3C HTML 3.2 Reference Specification
• HTML 4.0 Character Entity References
• The Unicode Consortium
• UTF-8
• Unicode Home Page
• Combining Characters (Diacritical Marks) in Unicode
• Unicode Code Charts (Complete List)
• Unicode Chart on Combining Diacritical Marks
• Unicode Fonts for Mac OS X computers
• Unicode Fonts for Windows Computers
• Creating Web Sites with Mac OS X (MacZealots)
• CSS Tutorial (WestCiv.com)
• Creating Universally Compliant HTML (The Web Design Group)
• HTML.com: Learn HTML Code, Tags, and CSS
• HeVeA translator: LaTeX -> HTML
• W3C Math: MathML puts math on the Web
• Math Markup Language (Chapter 6)
• Amaya Overview
• Amaya for Mac OS X
• Electronic Reference Formats (American Psychological Association)
• MathJax Documentation

General Computer Reference

Unix, X

• Darwin Ports for Mac OS X
• Remote X Apps: Telling the Server
• Fink Homepage
• Fink download page
• Fink User's Guide

Emacs

• Useful Wiki for Carbon Emacs Package
• FAQ
• Emacs on Aqua (Cocoa/ GnuStep APIs)
• Emacs for Mac OS X
• Emacs Users Manual (gnu.org)

TeX

• Graphics in LaTeX
• LyX
• The UK TeX Archive
• Mac OS X TeX/LaTeX Website
• TeXShop for Mac OS X
• The teTeX Homepage
• Hyperlatex
• InstantTeX and teTeX
• U.S. CTAN TeX-Archive
• German CTAN TeX-Archive

Perl

• CPAN (Comprehensive Perl Archive Network)
• learn.perl.org The site for people learning Perl
• Perl Monks

Purchasing Hardware/Software Online

• Nextag.com
• Pricewatch.com

FAQs

• Open FAQ at Boutell.com

MacOS X 10.x

Apple Sources	News and Information	Admin, Tips, and Useful Software
Applications	Darwin, X, and Fink

Apple Sources

• Apple Computer
• Apple Store
• Macintosh Featured Software Downloads
• Macintosh Products Guide
• Apple Developer MacOS X Page
• MacOS X Server Page
• MacOS X Server Documentation Pages
• Apple Mac OS X Server Support Page
• Apple Discussions List
• RSS Feeds to Apple Mailing Lists
• Search AppleCare Support
• Apple Product Manuals
• File Bug Report

News and Information

• Stepwise Information Server
• Slashdot (Apple)
• MacFixIt (Troubleshooting Solutions)
• MacOSXHints.com
• Tiger hints
• Networking Hints
• OSX FAQ: Technical News/Support for Mac OS X
• Macintouch.com
• MacRumors Buyer's Guide
• Mac DevCenter (O'Reilly Network)
• Doit Apple Support Site (U. Wisconsin)

Admin, Tips, and Useful Software

Admin

• DiveIntoOSX.org
• macosxlabs.org (Mac OS X Deployment in Higher Education) (with Script Archive)
• OmniGroup Admin Mailing List

Tips

• OSX FAQ
• Tips Page
• OSX FAQ's List of Failed System Call Errors
• Top 10 OS X Tricks for Unix Geeks
• MacOSXHints.com

Software

• Software by Marcel Bresink (NFS Manager, TinkerTool, PrefEdit)
• Huge List of Native OS X Applications (maintained by "Jeff")
• FreeWare Gems for OS X (Mac Dev Center)
• Omni Development, Inc.
• The Gnu Mac OS X Public Archive

Applications

• metaobject
• Apple's Keynote Page
• KeynoteUser.com
• GarageBand Tips at Apple
• iCal Calendar Library
• TeXShop for Mac OS X
• Stone Design (PStill, Create, etc.)
• Carbon Copy Cloner (Mike Bombich)
• Little Snitch
• Speed Download (Help Pages)
• SubEthaEdit(Group Editing Software by The Coding Monkeys)
• The Coding Monkeys

Potentially Useful Applications

• WireTap Pro (record anything playing on your computer)
• Cocktail (Utility for optimizing OS X and removing caches, etc)
• Chicken of the VNC
• SpamSieve Plug in for Mail.app to block spam
• Delicious Monster (music and book library cataloguing software)
• iGlasses (add brightness control to iSight camera)
• CSSEdit (Macrabbit Software)
• Coriolis's iPartition (repartition on the fly)
• Link Checker from w3.org

Darwin, X, Fink

Darwin

• Darwin Main Page at Apple
• Darwin Ports
• The GNU-Darwin Distribution

X11

• Tenon Intersystems (iTools and XTools)

Fink

• Fink (at The Source Forge)
• The Source Forge
• OS X Swapfiles and /etc/fstab
• Mac OS X Links at MacOSXHints.com
• bresink.com TinkerTool

git

• github

News

• Feedly

Beaux Arts

• The Endicott Studio (an interdisciplinary organization dedicated to the creation and support of mythic art)
• The Poetry Foundation
• The Academy of American Poets

Institutions

Universities

• Princeton University

Stanford University

• Stanford University
• Stanford on iTunes U

MIT

• MIT OpenCourseWare

United States Government

• United States Postal Service

Financial Institutions

• Chase

Miscellaneous Institutions

• Library of Congress
• Travel at Yahoo
• Travelocity.com
• History of Mathematics Archive (MacTutor)

Blogs

• A Philosopher Muses
• Philosophy Talk Blog
• Technorati

Social Networks

• Dreamwidth

Travel

• AirBNB

Links To More People, RSS Feeds, Web Sites, Publications, and Web Logs

• Google Reader
• HighWire Press
• The Online Books Page (University of Pennsylvania)
• (Unofficially) Peter S. Beagle
• Leonard Susskind
• Nobel Prizes
• Google
• Craig C. Mello
• Paul E. Oppenheimer
• The Source Forge
• Poetry
• The American Mathematical Society
• Mathematics Archive
• OASIS
• Chris Swoyer
• Ansel Adams
• Bas C. van Fraassen
• Rabbi Edward Boraz
• Seth F. Oppenheimer
• Charles de Lint
• Ellen Datlow
• Eric Freeman
• Susanne Riehemann
• Curiously Strong
• Quotations Page
• University of Chicago Magazine
• macHOME
• American Express
• Jason Aronson
• HarperCollins
• Medline Plus from the (USA) National Library of Medicine
• Coding Monkeys Blog
• Tibetan Government in Exile's Official Web Site
• TPS & ETPS
• Logic at Stanford
• Mathematical Logic Around The World
• Anti Slavery International
• Stanford Encyclopedia of Philosophy
• Branden Fitelson
• How To Permanently Delete a Facebook Account
• Herbert B. Enderton
• Area codes locator

Paul E. Oppenheimer's personal links

• Paul E. Oppenheimer at Stanford University
• Paul E. Oppenheimer at the Center for the Study of Language and Information
• Paul E. Oppenheimer at ResearchGate
• Twitter
• Store
• Papers
• Curriculum Vitæ (html)
• Curriculum Vitæ (plain text)
• PGP public key (ascii-armored)
• LinkedIn

• Follow me on App.net

Paul E. Oppenheimer's Blogs

• A Philosopher Muses (WordPress blog)
• Paul E. Oppenheimer's LiveJournal

Older Stuff

• Blog of Paul E. Oppenheimer (older blog)

Paul E. Oppenheimer's Twitter feed

Tweets by @peoppenheimer

This links page is licensed under a Creative Commons Attribution-Noncommercial 3.0 License. It is based on collections put together by my friends and colleagues. I thank them.