Talk:Gregory Chaitin

message: I removed the sentence Chaitin's work has profound consequences for our ideas of randomness.     The main contribution to mathematical understanding of randomness are Kolmogorov's axiom of a probability space (and, arguably, the possibility of measuring  randomness through the notion of Kolmogorov complexity).  --Aleph4 13:36, 21 May 2004 (UTC)
thread_title:  Chaitin and randomness 

message: I changed "important contributions" to "contributions". It seems that his most important work are attempts at popularizations of well known results from Gödel, Kolmogorov, Matijasevitch etc. If anybody knows about important results, please undo the change but also list at least one important contribution (and please do not take Chaitin's Omega-number as example, which is  just a completely trivial formulation of old knowledge.) --131.130.190.55 21:29, 24 January 2006 (UTC)
replies: text: Why do you think Omega is so trivial? --maru  (talk) Contribs 21:45, 24 January 2006 (UTC)

text: There was a long discussion of Chaitin on the FOM mailing list in 2001. The consensus seems to be that his Omega stuff is correct and nontrivial, but that his interpretation of it is wrong. I've added a statement to that effect, and references to two papers criticizing his interpretation.--Bcrowell 19:41, 24 February 2006 (UTC)
thread_title:  Importance 

message: I think that Chaitin's Omega number is an important contribution to mathematics and is not a trivial formulation of old knowledge. For any math problem, the bits of his Omega number completely determine whether the problem is solvable or not. Chaitin proved that this number is random and that only a finite number of bits of Omega are even knowable. This is a huge result, as shows that mathematics is random and most of it is unknowable. In my opinion, this the greatest theorem in all of mathematics, and no, I'm not Gregory Chaitin.
:Could you please give me a proof of "...mathematics is random and most of it unkowable.'?
You have to read Chaitin's work to get the full proof of this. In my opinion, most of Chaitin's critics don't understand Chaitin's work and its significance.
:No, I'm asking for a discrete, definite proof. I have read Chaitin's work and I don't think he has a proof for that kind of assertions. Maybe Chaitin's 'proof' is unprovable too..
OK, I'll give it a shot. The number Omega describes the nature of mathematics because for any mathematics problem, the bits of Omega completely determine whether that problem is solvable or not. So mathematics is random because Omega is random. And most of mathematics is unknowable because only a finite number of bits of Omega are knowable.
:"for any mathematics problem".  Any?  Are you really, really, really sure of that? :-) 31.52.255.78 (talk) 21:25, 29 January 2018 (UTC)
replies: text: While I do believe that Chaitin's Omega is an important mathematical result, to the person who is under the impression that Chaitin's Omega describes the nature of mathematics: It is an impression, not some rigorous proof that backs your belief. One must keep in mind that Omega is an artificial ("cooked up") construct, not something that arises naturally from mathematics, and therefore to make claims about the nature of mathematics entirely on the basis of Omega is not entirely satisfactory. For example, one of the many grandiose claims that Chaitin makes purely on the basis of Omega is that there are absolutely unsolvable problems in mathematics because any finite system of axioms results in a mathematical system of finite complexity (see: http://arxiv.org/abs/math/0611740). As a result, he proposes that well-accepted conjectural solutions to unsolved problems (such as the Riemann hypothesis being true or P != NP) be added as axioms. However, the question of what constitutes a proper axiom or not is a far deeper philosophical issue than Chaitin seems to give it merit (and/or chooses to ignore). For example, Peter Koellner in his 2006 article "On the question of absolute undecidability" provides an excellent account of the philosophical issues of adding new axioms to mathematics (in light of the Continuum Hypothesis), such as his discussion of intrinsic/extrinsic justifications of new axioms, and I suggest you read this to begin with. I find it unlikely that most mathematicians will accept Chaitin's criteria for the selection of axioms, not to mention that the intrinsic/extrinsic justifications are clearly more reasonable. --Dr. Megadeth (talk) 17:44, 1 August 2012 (UTC)
thread_title:  I disagree 

message: Someone added John as Gregory J. Chaitin's middle name, but I haven't been ablo to find any source to support it. Anyone has one? Mariano(t/c) 10:37, 12 April 2006 (UTC)
replies: text: Since noone provided any source (or comment at all) on the addition of John as his middle name, I reverted that edit. Mariano(t/c) 08:50, 20 April 2006 (UTC)
replies: text: I re-changed the name to John, here is my source http://www.fcen.uba.ar/consdire/sesion02/04-03-02/0403-9.htm GalGross 03:51, 26 March 2007 (UTC)

text: Great! 'chas gracias.--Mariano(t/c) 19:41, 26 March 2007 (UTC)
thread_title:  Middle name 

message: Here's a quote:
But why does Chaitin think so? It is because
he interprets his own variants of incompleteness
theorems as follows: “The general flavor of my
work is like this. You compare the complexity of
the axioms with the complexity of the result you’re
trying to derive, and if the result is more complex
than the axioms, then you can’t get it from those
axioms” (The Unknowable, p. 24). Or, in other
words: “my approach makes incompleteness more
natural, because you see how what you can do
depends on the axioms. The more complex the
axioms, the better you can do” (The Unknowable,
p. 26).
But appearances notwithstanding, this is simply
wrong. In fact, there is no direct dependence
between the complexity of an axiom system and
its power to prove theorems. On the one hand,
there are extremely complex systems of axioms
that are very weak and enable one to prove only
trivial theorems. Consider, for example, an enormously
complex finite collection of axioms with the
form n < n+ 1; even the simple theory consisting
of the single generalization “for all x, x < x+ 1” can
prove more. On the other hand, there exist very simple
and compact axiom systems that are
sufficient for the development of all known
mathematics (e.g., the axioms of set theory) and
that can in particular decide many more cases of
program-size complexity than some extremely
complex but weak axiom systems (such as the one
above).
But if anyone is "simply wrong" here, it's Raatikainen: these "extremely complex systems" he gives as an example are in fact extremely simple. One can say:
1 < 2
2 < 3
3 < 4
...
1000000 < 1000001
but this is - precisely in terms of AIT! - hardly more complex than saying just:
for all x, x < x+ 1
This only shows that Raatikainen doesn't understand elementary concepts of AIT, yet he ventures to criticize Chaitin's work. Personally, I find it a bit disturbing... GregorB 16:38, 23 April 2006 (UTC)
replies: text:  The point is that there are finitely axiomatized theories that prove much more than other theories that have many complicated (but proof theoretically weak) infinite axiom schemes.  In any natural programming language, the finitely axiomatized theory will have a much smaller index than the theory with the schemes, but it will still be much stronger in terms of what it can prove.  Thus there is not a direct relation between the smallest index for a theory and the number of statements K(n) > k that the theory can prove; this interpretation of Chaitin's result is not valid. CMummert 04:54, 16 June 2006 (UTC)

text: Well... Unless we pick a million random numbers, and use them to form a million axioms. Then Chaitin is in trouble, since it is clear that these axioms are not too powerful, but still are quite complex... GregorB 16:37, 24 April 2006 (UTC)

text: Are a million instances of n < n + 1 more complex than for all x, x < x + 1?  He who says so should define their notion of complexity. 86.161.154.245 (talk) 17:37, 24 February 2021 (UTC)
thread_title: Panu Raatikainen gets it all wrong

message: The article says: Chaitin is frequently criticized as having an inflated ego and being a relentless self-publicist.
Neither are the sources (comments at Amazon) any reliable nor is there a point of including that into encyclopedia, unless the overwhelming majority of mathematicians would think the same. The article already lists critics of his work. -- ZZ 09:55, 12 June 2006 (UTC)
thread_title:  Argumentum ad personam 

message: I refer to the following two sentences.
  Chaitin has defined Chaitin's constant, a real number whose digits are equidistributed and which
  expresses the probability that a random program will halt.  has numerous remarkable mathematical 
  properties, including the fact that it is definable but not computable.
The first sentence is not right; there is no such thing as a random program, because there is no nontrivial probability measure on the set of programs.  The word remarkable in the second sentence seems to imply that few such numbers are known, which is not true.  There are many definable uncomputable numbers.  Some of them, such as 0ˈˈˈ, have definitions which might be considered much simpler than the definition of one of Chaitin's numbers. CMummert 04:54, 16 June 2006 (UTC)
thread_title:  Misleading sentences 

message: I found a long rambling thread on sci.math and comp.theory wherein people were generally trying to help explain Chaitin's ideas to Franzen, not apologize for Chaitin, but to me Franzen seemed to keep up with pretty pedantic and unconstructive requests for clarification.
Is s/he a PhD philsopher?
Thanks.
--218.186.11.1 14:30, 29 July 2007 (UTC)
replies: text: There is a Wikipedia article about Torkel Franzén, and his home page is archived here: https://web.archive.org/web/20060423055508/http://www.sm.luth.se/~torkel/. 31.52.255.78 (talk) 21:07, 29 January 2018 (UTC)
thread_title:  Who is Torkel Franzen? 

message: The Internet Archive seems to have these: .  Can someone look over these and put information into the articles, or references to repalce the s?
CRGreathouse (t | c) 01:20, 14 August 2007 (UTC)
thread_title:  Dead links 

message: Why is there a reference to Nassim Nicholas Taleb? Such a link needs to be explained somehow. wanderingstan (talk) 02:39, 3 October 2008 (UTC)
thread_title:  Nassim Nicholas Taleb 

message: I want a birth certificate in this case.  — Preceding unsigned comment added by 88.150.234.8 (talk) 12:21, 25 June 2014 (UTC)
thread_title:  Place of birth 

message: Hello fellow Wikipedians,
I have just added archive links to  on Gregory Chaitin. Please take a moment to review my edit. If necessary, add  after the link to keep me from modifying it. Alternatively, you can add  to keep me off the page altogether. I made the following changes:
*Added archive https://web.archive.org/20120323024501/http://www.umcs.maine.edu/~chaitin/60.pdf to http://www.umcs.maine.edu/~chaitin/60.pdf
When you have finished reviewing my changes, please set the checked parameter below to true to let others know.
Cheers. —cyberbot IITalk to my owner:Online 06:01, 26 August 2015 (UTC)
thread_title:  External links modified 

message: Hello fellow Wikipedians,
I have just modified  on Gregory Chaitin. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Corrected formatting/usage for http://www.umcs.maine.edu/~chaitin/60.pdf
When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at ).
Cheers.—cyberbot IITalk to my owner:Online 04:33, 12 April 2016 (UTC)
thread_title:  External links modified 

message: The entire section is more or less pointless. E.g.:
:Some philosophers and logicians strongly disagree with the philosophical conclusions that Chaitin has drawn from his theorems.
What are these "philosophical conclusions" and why do those people disagree? If these conclusions are important enough to be described, they should be described, and if they are not, neither is the criticism.
:The logician Torkel Franzén criticized Chaitin’s interpretation of Gödel's incompleteness theorem and the alleged explanation for it that Chaitin’s work represents.
Again, what is Chaitin's interpretation of Gödel's incompleteness theorem and what is this criticism based on?
The entire section leaves the impression of lack of interest in the topic, other than to make a point about Chaitin being wrong and criticized for it. GregorB (talk) 21:43, 11 July 2016 (UTC)
replies: text: In fact, no one said that Chaitin was "wrong". Criticism is not assertion of wrongness of criticized. Chaitin's ideas were criticized not only by mathematicians, but also by physicists and biologists. His "metabiology" was unable to solve the problem of evolution. In the field of physics, he puts forward ideas like Stephen Wolfram, and sometimes both become downright freaky. Often such ideas (like "digital physics") are put forward by those who have never encountered real physics, and math too. 188.187.128.96 (talk) 11:10, 2 August 2020 (UTC)
thread_title: Criticism

message: There is a pressing need for Davis's criticisms to be properly cited.  If all else fails someone should e-mail Davis at NYU. 86.161.154.245 (talk) 17:32, 24 February 2021 (UTC)
thread_title:  Citation 

message: There was a reference to https://www.quora.com/Can-there-be-an-incompleteness-theorem-of-the-second-kind?ch=10&share=23d236fd&srid=uXLQ9 which I have removed. It had nothing to do with the article and is, in any case, nonsense. 86.161.154.245 (talk) 19:06, 24 February 2021 (UTC)
thread_title:  Reference removed