Human Readable Proofs Visualization
- Symbolic Visualizations, University of Texas:http://cvcweb.ices.utexas.edu/ccv/projects/VisualEyes/SymbVis/index.php- Proof nets and zero-knowledge proofs.
- Subscribe: Entries | Comments
Categories
- Algorithmic information theory
- Complexity
- Computability, Universality and Unsolvability
- Computer Science
- Conferences
- Foundations of Biology
- Foundations of Computation
- Foundations of Math
- Foundations of Physics
- General
- Mathematical Logic
- Minds and Machines
- Natural Language and Computational Linguistics
- New Ideas
- Recreation
Archives
- January 2012
- November 2011
- August 2011
- July 2011
- June 2011
- February 2011
- January 2011
- August 2010
- June 2010
- May 2010
- April 2010
- September 2009
- February 2009
- January 2009
- December 2008
- August 2008
- May 2008
- April 2008
- December 2007
- November 2007
- October 2007
- March 2007
- February 2007
- January 2007
- December 2006
- November 2006
- October 2006
- August 2006
- July 2006
Blogroll
- ACM Computing Reviews blog
- Complexes Blog
- Diagram Based Reasoning
- Jason Cawley’s Philosophy and NKS blog
- Le reve mathematique
- Logic matters blog
- Mathematics and Computation blog
- Mathematics under the microscope blog
- Mathrix
- NKS Forum
- Paul-Jean's Cellular Automata blog
- Radu Grigore blog
- Strange Paths blog
- The Computational Beauty of Nature
- The Reality Club
- What is Reality blog
Computer Science
Foundations of Biology
Foundations of Computation
Foundations of Math
General
- A NKS Information Center
- AI Lectures from Tokyo
- Algorithmic Information Theory
- Artificial General Intelligence Research Institute
- Association for Symbolic Logic
- BBC English
- Brown University
- Busy Beaver Pascal Michel
- Carnegie Mellon University
- Computer Science Department Lille 1
- CONACYT
- Cristian Calude homepage
- Data conversion code
- Diffusion de savoirs ENS
- Douglas Hofstadter homepage
- Ecole Doctorale d’Informatique Lille 1
- Ecole Doctorale Philosophy Paris 1
- Freeling
- Future of Humanity Institute
- God, Stephen Wolfram and everything else
- Google Blogoscoped
- Google’s blog
- Gregory Chaitin homepage
- Gresham College Audio/Video
- Hector Zenil C. Information
- Hector Zenil’s Picture Gallery
- How computers generate randomness
- IHPST Paris 1
- Institute for History and Foundations of Science
- Jason Cawley’s Philosophy and NKS blog
- Jean-Paul Delahaye homepage
- Kurt Godel Society
- LaTeX for logicians
- Leçons inaugurales College de France
- Leonid Levin homepage
- Main HZC Mathrix Site
- MIT homepage
- NKS Forum
- Novamente Intelligent Agents
- Paris 1 Sorbonne
- Paul Vitanyi homepage
- programnature.org
- Random Number Generators
- Ray Kurzweil AI site
- Ray Solomonoff homepage
- Redwood Center for Theoretical Neuroscience
- Rod Downey homepage
- Semantic Atlas
- Semiotics for Beginners
- Stephen Wolfram’s papers
- TED Blog
- TED Talks
- Templeton Foundation
- The Computational Beauty of Nature
- The Digital Evolution Lab
- The Logic Museum
- The NKS book online
- TV5 Langue Française
- Université de Sciences et Technologies de Lille
- Von Neumann’s works on C.A.
- Wolfram Atlas of Simple Programs
- Wolfram blog
- Wolfram Demonstrations Project
- Wolfram Tones
- Wolfram, The Man Who Cracked The Code to Everything.
Math and Logic
New Ideas
Meta