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.
Loading....
Recent Article links:Instant Search
Article
Tags
AIT Alan Turing algorithmic complexity axioms Berlin Boston Chaitin's Omega Church-Turing thesis complexity Conferences Cristian Calude Gottfried Leibniz Gregory Chaitin human mind Jean-Paul Delahaye John Casti Kurt Godel Mathematical Logic mental representation metamathematics nanomachines Netherlands new book NKS Paris Paul Davies Philosophy Princeton proofs quantum computing quantum mechanics randomness real numbers Rotterdam Seth Lloyd simple rules simulation hypothesis Stephen Wolfram The brain thought experiments Tilburg University Turing machine universality universe is a computer unsolvabilityAmazon Cloud
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
Recent Posts
Blogroll
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
- 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
- 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 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.
Comments (No comments)
What do you think?
You must be logged in to post a comment.