Il est possible (et très facile) de faire un programme qui énumère tous les programmes possibles.
Toutafé :) Ca permet même de calculer une une suite de réels qui tend vers la constante de Chaitin (Omega) qui elle n'est pas calculable. Le programme en question a même été implémenté en Lisp dans un des bouquin de Chaitin (je sais plus lequel) -> exécuter ce programme aux US peut potentiellement vous mettre en situation d'infraction avec de tous les brevets logiciels des Etats Unis !
"Have you ever read a math book that was able to carry you through its proofs, heart racing, and make your skin tingle upon reaching its philosophically astounding conclusion?"
"Chaitin takes the reader on a thrilling race through the history of computability research to arrive at the discovery of his own number, Omega."
"What is remarkable about the book is that, in plain English, and using ideas that a non-mathematician like myself can understand, in only 157 pages, Chaitin can explain the grandest ideas on the cutting edge of mathematics."
"Although the book can be read quickly and painlessly (there are only a few simple equations in the book), the insights it contains are profound and likely to stick in your brain for some time. Furthermore Chaitin's enthusiastic style is contagious and will leave you on the edge of your seat."
[^] # Re: Voyons plus grand
Posté par Olivier Grisel (site web personnel) . En réponse au journal De la légalité d'un générateur de virus.... Évalué à 6.
Toutafé :) Ca permet même de calculer une une suite de réels qui tend vers la constante de Chaitin (Omega) qui elle n'est pas calculable. Le programme en question a même été implémenté en Lisp dans un des bouquin de Chaitin (je sais plus lequel) -> exécuter ce programme aux US peut potentiellement vous mettre en situation d'infraction avec de tous les brevets logiciels des Etats Unis !
Je recommande la lecture du dernier ebook de Chaitin à tous ceux qui se posent des questions sur des notions telles que la complexité algorithmique, le hasard, l'information, ... Bref un bouqin de math/info théorique pationnant et accessible à tous :
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/omega.html(...)
Une version pdf est dispo ici :
http://www.arxiv.org/abs/math.HO/0404335(...)
La "review" sur slashdot:
http://slashdot.org/article.pl?sid=04/06/10/1947247(...)
Un résumé de la review :