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
evolution
Gottfried Leibniz
Gregory Chaitin
human mind
John Casti
Kurt Godel
Mathematical Logic
mental representation
metamathematics
nanomachines
Netherlands
new book
NKS
Paris
Paul Davies
Philosophy
Principle of Computational Equivalence
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
unsolvability
Amazon 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
- Classifying objects by complexity
- Comments on Turing’s very first Universal machine approaching Turing’s 100th. birthday anniversary
- Stephen Hawking: A brief examination of the recent warning over alien civilizations
- On the Algorithmic Nature of the World
- Compression-based investigation of the dynamical properties of cellular automata
Blogroll
- ACM Computing Reviews blog
- Complexes Blog
- 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
- Radu Grigore 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
- 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.
Comments (No comments)
What do you think?