Timeline for Axiom systems and Information Theory
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2010 at 3:45 | answer | added | Jon Awbrey | timeline score: 0 | |
| Feb 15, 2010 at 4:09 | answer | added | Joel David Hamkins | timeline score: 5 | |
| Feb 14, 2010 at 22:16 | answer | added | Jacques Carette | timeline score: 5 | |
| Dec 8, 2009 at 22:27 | comment | added | Alon Amit | Is there some standard definition of I(A,U) you're referring to? I should also mention the G. Chaitin has written extensively on information-theoretic aspects of systems of axioms, apparently with the goal of comparing axiom systems by some measure of strength. That interpretation of his work is, as far as I know, rather disputed (see papers by Raatikainen). | |
| Dec 8, 2009 at 17:21 | history | asked | Martin Stern | CC BY-SA 2.5 |