1,561 reputation
615
bio website suitdummy.blogspot.com
location Cambridge, MA
age
visits member for 2 years, 1 month
seen Apr 2 at 14:38

I once launched swi-prolog and asked it a question:

ely:~/home$ prolog
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.10.1)
Copyright (c) 1990-2010 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- love(math) is unrequited.
true.

Apr
14
revised Math Database For Problem Descriptions In An App.
edited body
Apr
14
comment Math Database For Problem Descriptions In An App.
Thanks for catching the typo. I fixed it.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
Another link is here. This is more speculative, which is why I didn't put it in the answer below, but it is a great attempt to show how incompleteness arises naturally in decision theory, and in particular w.r.t. Newcomb's paradox. This is a highly philosophical question, and it appears that incompleteness relates to it non-trivially. Overall, I'm advocating that more credence ought to be given to the proposition that the incompleteness theorems have legitimate philosophical side effects. That's all.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
Look, no one is disputing that people can draw erroneous conclusions from Godel's theorem. But the questions you ask about alternate logics and so on are exactly why it is valid to ask philosophical questions about Godel's theorem. Do you believe that human mathematicians can "see" the consistency of whatever axiomatic theory they are equivalent to? A lot of people think the answer is yes, even some mathematicians. I think a person can argue the answer is no, especially if you believe in computationalism or reductionism, but it's by no means a settled philosophical question at all.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
That's totally disingenuous reasoning, and I didn't think it was unreasonable to extrapolate the "obvious" that I claimed was part of your argument above.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
Or, maybe to be more mathematical, what about, say information theory? Here is a draft of a paper that I wrote on applications of information theory and the machine learning idea of boosting to philosophy. Should we also say that Leslie Valiant's work on evolvability has no applications to philosophy? I think you should read the Aaronson paper that I linked below. Just because one person invokes something and it gets debunked through hard work doesn't mean there are no applications.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
@Arturo That's true; you did not say the word 'obvious', but here you are extrapolating from the fact that Penrose can be disagreed with to claim that it means Godel's theorem has no philosophical implications. For that matter, Darwin's theory of evolution can be argued with (like any scientific theory), so should we believe it has no philosophical applications? Any given alleged philosophical application of evolution can be disagreed with, often successfully, so we are to conclude that there exist no applications to philosophy? That seems to be the reasoning you're giving.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
@Quinn, you've never heard of moral computationalism?
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
That sounds like confirmation bias to me. Because I think that very complicated arguments can be made to counter against one the most talented physicists of the last century, you think it supports the idea that Godel's theorem obviously doesn't have Penroses' alleged consequences. Hrmm.. Though I do believe Penrose can be argued with, I think one can only do so if willing to really think about the philosophical extent of Godel's theorem. It's not simple to say humans can't reason about the formal system they are. And, to boot, none of this says anything about the Kritchman and Raz paper.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
Godel's theorem has most definitely added to philosophy, in varied and interesting ways, no less.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
These comments are amazingly short-sighted. There is actually a wealth of legitimate philosophical consequences of Godel's theorems. See my answer from below.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
This is a totally legitimate answer. It's upsetting that it was downvoted. As I mentioned in my answer above there was a popular math paper published just last year on Godel's theorem and its application to the surprise examination paradox.
Apr
14
comment What philosophical consequence of Goedel's incompleteness theorems?
@Iasafro: your answer is totally a valid one. Don't let the snarky naysayers nor downvoters discourage you. The entire field of machine ethics, a la Nick Bostrom and Steve Omohundro, uses very serious maths and logic to address exactly this kind of philosophical problem in strong A.I. And, as I indicated in my answer above, there are a ton of ways that Godel's theorem is relevant to philosophy.
Apr
14
answered Why bother with Mathematics, if Gödel's Incompleteness Theorem is true?
Apr
14
comment Why bother with Mathematics, if Gödel's Incompleteness Theorem is true?
These arguments are funny. Godel himself wrote a letter to Von Neumann in which he basically said "If P = NP, then nothing will be left for human mathematicians apart from the postulation of axioms." (He used different language because P v NP wasn't really known at the time). See this paper and my answer to another Godel question for more.
Apr
14
revised What philosophical consequence of Goedel's incompleteness theorems?
added 263 characters in body
Apr
14
answered What philosophical consequence of Goedel's incompleteness theorems?
Apr
12
comment generating a Gaussian dataset in MATLAB
Yeah, that is true. It's unfortunate given how much they charge that they don't provide more descriptive error handling ability for the built-ins. Feeling out these things comes with time though.
Apr
12
revised generating a Gaussian dataset in MATLAB
mvnrand -> mvnrnd, fixed in two spots
Apr
12
comment generating a Gaussian dataset in MATLAB
Thanks @Reza for pointing out the typo. Though I know Matlab pretty well from my first job, I don't use it anymore, so sometimes I am a little rusty. I mostly boycott Matlab in favor of the open source options, R and Python with NumPy/SciPy and third-party libraries. However, you should never merely copy and paste an answer, and it should be easy with Matlab's help options to correct for typos.