[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

How could Godel prove his incompleteness theorem, when the theorem

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 13
Thread images: 1

File: 1473992234343.jpg (9KB, 249x249px) Image search: [Google]
1473992234343.jpg
9KB, 249x249px
How could Godel prove his incompleteness theorem, when the theorem itself says that it's impossible to prove anything?
>>
that's not what the theorem says
sage
>>
>>8535781
Prove it.

Oh, wait. That's impossible.
>>
>>8535781
Exactly.

OP, your question is simply too complicated. Proving logic theorems is not easy, nor are they easy to explain.
If you want to know the answer, you need to look at the actual proof.However, it won't be easy. Mathematics cannot be reduced to a pop version.
>>
>>8535786
prove it's impossible
>>
>>8535799
a simple application of Godel's Theorem
>>
>>8535805
That's not a proof, haven't you heard of Godel's theorem?
>>
>>8535888
Godel's theorem states that a theorem can neither be consistent nor complete, and thus humanity is doomed to spiral into insanity.
>>
Goedel's theorem is only limited by logical intelligence.
A super computer capable of calculating infinities could solve what are considered unsolvable problems.
>>
Godel's theorem is proved in primitive recursive arithmetic, which is not as strong as peano's arithmetic. So it is not subject to itself.
>>
>>8535897
SPIRAL POWER??
>>
>>8536135
The worst thing is, there are people who spout random science-like words like that unironically and think they make sense and are right.
>>
>>8535787
>Mathematics cannot be reduced to a pop version.

Tell that to fucking PBS infinite series.

They even got a girl as the host lol.
Thread posts: 13
Thread images: 1


[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.