• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 06:17
CEST 12:17
KST 19:17
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
[ASL22] Ro24 Preview: Summer's End9Serral wins HomeStory Cup 2915Serral wins Maestros of the Game 244ByuL, and the Limitations of Standard Play3Team Liquid Map Contest #22: Results and Winners7
Community News
Weekly Cups (August 10-16): SHIN doubles2GSTL Returns in 2026!45Weekly Cups (Aug 3-9): Protoss get shut out7RSL goes to London! 2026 Offline Finals Nov 21-2212Weekly Cups (July 27-Aug 2): SHIN's big week0
StarCraft 2
General
SC4ALL II: SC2 Player Announcement 6/8 - Maru Geoff 'iNcontroL' Robinson has passed away GSTL Returns in 2026! Balance hotfix patch 5.0.16b (July 16) Serral wins Maestros of the Game 2
Tourneys
WORTEX 2026 - Hungarian SC2 Finals Budapest PIG STY FESTIVAL 8.0! (13 - 23 August) Sparkling Tuna Cup - Weekly Open Tournament SC2 AI Tournament 2026 Fall 2026 GSTL Announcement
Strategy
[G] Having the right mentality to improve
Custom Maps
Nexus Wars 2021 GUIDE [M] (2) Industrial Park
External Content
The PondCast: SC2 News & Results Mutation # 539 Thunder Dome Mutation # 538 Media Blackout Mutation # 537 Hostile Territory
Brood War
General
BW General Discussion yooooooooooooooo Pros React To: First 'Fastest' Map in ASL History [Personal Project Share] Terran Defense v0.60 ASL22 General Discussion
Tourneys
Brood War in Budapest ! WORTEX 2026 BW Finals [Megathread] Daily Proleagues Toronto invitational lan 22 august [ASL22] Ro24 Group B
Strategy
Odyssey Mineral Stack Saturation Fighting Spirit mining rates Any training maps people recommend? Simple Questions, Simple Answers
Other Games
General Games
Nintendo Switch Thread General RTS Discussion Thread Anyone here play Quakeworld back in the day? Stormgate/Frost Giant Megathread EVE Corporation
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
[TL LoL EUW IHs] Teemo shall perish TSM pausing esports and CLG Dead
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Power Rank TL Mafia Community Thread NeO.D_StephenKing vs This Guy From 1 Million Dance
Community
General
Russo-Ukrainian War Thread US Politics Mega-thread Canadian Politics Mega-thread Dating: How's your luck? Artificial Intelligence Thread
Fan Clubs
The Creator Fan Club MarineLorD Fan Club The ShoWTimE Fan Club
Media & Entertainment
Movie Discussion! Anime Discussion Thread
Sports
Football (Soccer) Thread MLB/Baseball 2023 TeamLiquid Health and Fitness Initiative For 2023 NBA General Discussion
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread Simple Questions Simple Answers FPS when play League Of Legend on laptop
TL Community
The Automated Ban List Northern Ireland Global Starcraft
Blogs
Young Players Exit Esports E…
TrAiDoS
LOCKPICKING NOOB
LUCKY_NOOB
Cathedral Of CS And NY pizza a…
FuDDx
Please support my new stand…
Peanutsc
Customize Sidebar...

Website Feedback

Closed Threads



Active: 4757 users

Is the mind all chemical and electricity? - Page 85

Forum Index > General Forum
Post a Reply
Prev 1 83 84 85 86 87 104 Next
Umpteen
Profile Blog Joined April 2010
United Kingdom1570 Posts
July 15 2013 14:50 GMT
#1681
On July 15 2013 23:28 Reason wrote:
Show nested quote +
On July 15 2013 23:24 beg wrote:
well, i said "it has been said several times already. you need to prove this". what had been said several times already? that you have to make this proof for pi. yea, my language is a little loose there. thought it was clear in context.

i then gave an example of a non repeating infinite series not containing every set of integers. i dont see how this makes me fail to understand anything.

When you bolded the wrong section of text your altered the context. If you hadn't bolded anything I would have assumed you were just talking about Pi, now that I'm looking at this in hindsight. The problem is you bolded the wrong section of my post, completely changing the context of what you said.

The real problem comes when it takes pages to sort out what should have been a minor misunderstanding, you were not helpful in the slightest and had to have the same concepts explained to you over and over and over until finally you say
"oh yeah, I understand what you're saying, obviously you don't understand what I'm saying" as if that is somehow acceptable.


Show nested quote +
On July 15 2013 22:26 Umpteen wrote:
On July 15 2013 21:35 Reason wrote:
However, what reason do you have to believe that all the numbers aren't in there compared to any other random infinite non repeating sequence of integers?

Are you saying you don't believe the probability of all integer sequences appearing with an infinite non repeating sequence is 1 (almost sure) or are you differentiating between Pi and these other infinite sequences purely because Pi can be calculated?

If so, why is the fact that Pi can be calculated so troubling in this regard?


(Having huge fun here, btw; hope it's mutual )

If a sequence is known to be truly random (each digit independent), we can be 'almost sure' it'll eventually yield any given sequence.

We don't know that of Pi. It generates a sequence that 'measures well' in terms of randomness, but there are infinitely many sequences that would 'measure well' which exclude one or more possible subsequences. How do you estimate probability here?

Hmm okay, yes been having lots of fun talking to you I actually thought you'd stopped responding to me and was a little sad. I guess your post was lost in the chaos there...

How would you measure well for randomness?


Representation of digits in the sequence converging to equality. Association of each digit with preceding n digits also converging to equality for any given n (eg wherever you see 1234 in the sequence it's not followed by any specific digit more or less often than any other). I'm sure there are loads.

How likely is it that something could measure well for randomness but actually not be random? For every set that measures well for randomness but isn't actually random, how many more sets are there that measure well for randomness and are actually random?


I think it's more likely to be the other way around:

Take a random, non-repeating sequence S such that S contains every possible integer subsequence.
Let s be a specific subsequence of S.
In each instance of s in S, modify one digit at random to create S'
S' now does not contain s.

If s is a short sequence, that would probably affect the stats hugely. But if s is a trillion digits long then the effect of modifying each occurrence of it would require an impractical amount of analysis to detect.

Now, since S is defined as containing every possible integer subsequence, it follows that there are an infinite number of S' which can be generated from S, each lacking a specific subsequence and all of them measuring well for any given degree of analysis.

The existence of a food chain is inescapable if we evolved unsupervised, and inexcusable otherwise.
Reason
Profile Blog Joined June 2006
United Kingdom2770 Posts
Last Edited: 2013-07-15 15:03:31
July 15 2013 14:58 GMT
#1682
On July 15 2013 23:50 Umpteen wrote:+ Show Spoiler +

On July 15 2013 23:28 Reason wrote:
Show nested quote +
On July 15 2013 23:24 beg wrote:
well, i said "it has been said several times already. you need to prove this". what had been said several times already? that you have to make this proof for pi. yea, my language is a little loose there. thought it was clear in context.

i then gave an example of a non repeating infinite series not containing every set of integers. i dont see how this makes me fail to understand anything.

When you bolded the wrong section of text your altered the context. If you hadn't bolded anything I would have assumed you were just talking about Pi, now that I'm looking at this in hindsight. The problem is you bolded the wrong section of my post, completely changing the context of what you said.

The real problem comes when it takes pages to sort out what should have been a minor misunderstanding, you were not helpful in the slightest and had to have the same concepts explained to you over and over and over until finally you say
"oh yeah, I understand what you're saying, obviously you don't understand what I'm saying" as if that is somehow acceptable.


Show nested quote +
On July 15 2013 22:26 Umpteen wrote:
On July 15 2013 21:35 Reason wrote:
However, what reason do you have to believe that all the numbers aren't in there compared to any other random infinite non repeating sequence of integers?

Are you saying you don't believe the probability of all integer sequences appearing with an infinite non repeating sequence is 1 (almost sure) or are you differentiating between Pi and these other infinite sequences purely because Pi can be calculated?

If so, why is the fact that Pi can be calculated so troubling in this regard?


(Having huge fun here, btw; hope it's mutual )

If a sequence is known to be truly random (each digit independent), we can be 'almost sure' it'll eventually yield any given sequence.

We don't know that of Pi. It generates a sequence that 'measures well' in terms of randomness, but there are infinitely many sequences that would 'measure well' which exclude one or more possible subsequences. How do you estimate probability here?

Hmm okay, yes been having lots of fun talking to you I actually thought you'd stopped responding to me and was a little sad. I guess your post was lost in the chaos there...

How would you measure well for randomness?


Representation of digits in the sequence converging to equality. Association of each digit with preceding n digits also converging to equality for any given n (eg wherever you see 1234 in the sequence it's not followed by any specific digit more or less often than any other). I'm sure there are loads.

How likely is it that something could measure well for randomness but actually not be random? For every set that measures well for randomness but isn't actually random, how many more sets are there that measure well for randomness and are actually random?


I think it's more likely to be the other way around:

Take a random, non-repeating sequence S such that S contains every possible integer subsequence.
Let s be a specific subsequence of S.
In each instance of s in S, modify one digit at random to create S'
S' now does not contain s.

If s is a short sequence, that would probably affect the stats hugely. But if s is a trillion digits long then the effect of modifying each occurrence of it would require an impractical amount of analysis to detect.

Now, since S is defined as containing every possible integer subsequence, it follows that there are an infinite number of S' which can be generated from S, each lacking a specific subsequence and all of them measuring well for any given degree of analysis.


Can we conclude from this the probability of Pi actually being random, despite everything we've observed, is 0 (almost surely not)?

It seems strange that general consensus is that it's random if such a notion can be so easily dismissed.
Speak properly, and in as few words as you can, but always plainly; for the end of speech is not ostentation, but to be understood.
Shiori
Profile Blog Joined July 2011
3815 Posts
July 15 2013 15:10 GMT
#1683
It's not possible to deduce the randomness of a (non repeating) infinite sequence by analyzing a finite subsequence, as far as I know...

That said, "almost every" real number is apparently normal in base 10, so it would be very interesting if pi weren't, although it's never been proven (proving normality is pretty tough).
Umpteen
Profile Blog Joined April 2010
United Kingdom1570 Posts
Last Edited: 2013-07-15 15:21:35
July 15 2013 15:12 GMT
#1684
On July 15 2013 23:58 Reason wrote:
Show nested quote +
On July 15 2013 23:50 Umpteen wrote:+ Show Spoiler +

On July 15 2013 23:28 Reason wrote:
Show nested quote +
On July 15 2013 23:24 beg wrote:
well, i said "it has been said several times already. you need to prove this". what had been said several times already? that you have to make this proof for pi. yea, my language is a little loose there. thought it was clear in context.

i then gave an example of a non repeating infinite series not containing every set of integers. i dont see how this makes me fail to understand anything.

When you bolded the wrong section of text your altered the context. If you hadn't bolded anything I would have assumed you were just talking about Pi, now that I'm looking at this in hindsight. The problem is you bolded the wrong section of my post, completely changing the context of what you said.

The real problem comes when it takes pages to sort out what should have been a minor misunderstanding, you were not helpful in the slightest and had to have the same concepts explained to you over and over and over until finally you say
"oh yeah, I understand what you're saying, obviously you don't understand what I'm saying" as if that is somehow acceptable.


Show nested quote +
On July 15 2013 22:26 Umpteen wrote:
On July 15 2013 21:35 Reason wrote:
However, what reason do you have to believe that all the numbers aren't in there compared to any other random infinite non repeating sequence of integers?

Are you saying you don't believe the probability of all integer sequences appearing with an infinite non repeating sequence is 1 (almost sure) or are you differentiating between Pi and these other infinite sequences purely because Pi can be calculated?

If so, why is the fact that Pi can be calculated so troubling in this regard?


(Having huge fun here, btw; hope it's mutual )

If a sequence is known to be truly random (each digit independent), we can be 'almost sure' it'll eventually yield any given sequence.

We don't know that of Pi. It generates a sequence that 'measures well' in terms of randomness, but there are infinitely many sequences that would 'measure well' which exclude one or more possible subsequences. How do you estimate probability here?

Hmm okay, yes been having lots of fun talking to you I actually thought you'd stopped responding to me and was a little sad. I guess your post was lost in the chaos there...

How would you measure well for randomness?


Representation of digits in the sequence converging to equality. Association of each digit with preceding n digits also converging to equality for any given n (eg wherever you see 1234 in the sequence it's not followed by any specific digit more or less often than any other). I'm sure there are loads.

How likely is it that something could measure well for randomness but actually not be random? For every set that measures well for randomness but isn't actually random, how many more sets are there that measure well for randomness and are actually random?


I think it's more likely to be the other way around:

Take a random, non-repeating sequence S such that S contains every possible integer subsequence.
Let s be a specific subsequence of S.
In each instance of s in S, modify one digit at random to create S'
S' now does not contain s.

If s is a short sequence, that would probably affect the stats hugely. But if s is a trillion digits long then the effect of modifying each occurrence of it would require an impractical amount of analysis to detect.

Now, since S is defined as containing every possible integer subsequence, it follows that there are an infinite number of S' which can be generated from S, each lacking a specific subsequence and all of them measuring well for any given degree of analysis.


Can we conclude from this the probability of Pi actually being random, despite everything we've observed, is 0 (almost surely not)?

It seems strange that general consensus is that it's random if such a notion can be so easily dismissed.


That's because I'm almost sure I'm wrong :D

Yeah, turns out I am, although I'm fucked if I understand why.
The existence of a food chain is inescapable if we evolved unsupervised, and inexcusable otherwise.
Reason
Profile Blog Joined June 2006
United Kingdom2770 Posts
July 15 2013 15:46 GMT
#1685
Yeah that's wayyyyy over my head.
Speak properly, and in as few words as you can, but always plainly; for the end of speech is not ostentation, but to be understood.
Shiori
Profile Blog Joined July 2011
3815 Posts
Last Edited: 2013-07-15 15:55:57
July 15 2013 15:55 GMT
#1686
Well, every positive number is the product of two normal numbers (afaik) so even if pi isn't normal, we should be able to find an equally pathological normal number.
Rassy
Profile Joined August 2010
Netherlands2308 Posts
July 15 2013 16:40 GMT
#1687
Pi cant be a normal number,The secuence "Pi minus the last digit of pi" can be found once in the sequence and no other sequences with equall lenght as pi minus the last digit of pi can occur.

Or is this a realy silly way of looking at it lol?
MiraMax
Profile Joined July 2009
Germany532 Posts
July 15 2013 16:46 GMT
#1688
On July 16 2013 01:40 Rassy wrote:
Pi cant be a normal number,The secuence "Pi minus the last digit of pi" can be found once in the sequence and no other sequences with equall lenght as pi minus the last digit of pi can occur.

Or is this a realy silly way of looking at it lol?


Well, given that the sequence of digits of pi is infinite there is no 'last' digit of pi...
I'll leave it up to you to judge whether your proposal was silly though! Cheers!
Reason
Profile Blog Joined June 2006
United Kingdom2770 Posts
Last Edited: 2013-07-15 17:03:02
July 15 2013 16:58 GMT
#1689
Rassy is full of great ideas today
+ Show Spoiler +
MiraMax seems grumpy though
Speak properly, and in as few words as you can, but always plainly; for the end of speech is not ostentation, but to be understood.
wherebugsgo
Profile Blog Joined February 2010
Japan10647 Posts
July 15 2013 17:00 GMT
#1690
On July 16 2013 01:40 Rassy wrote:
Pi cant be a normal number,The secuence "Pi minus the last digit of pi" can be found once in the sequence and no other sequences with equall lenght as pi minus the last digit of pi can occur.

Or is this a realy silly way of looking at it lol?


You should submit this to a mathematics paper if you're so sure of yourself.

Determining the normality of any given number is usually pretty difficult, from what I understand. There's no real intuitive way to show that the distribution of all k length digit sequences in pi are equally likely.
corumjhaelen
Profile Blog Joined October 2009
France6884 Posts
July 15 2013 17:39 GMT
#1691
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."
‎numquam se plus agere quam nihil cum ageret, numquam minus solum esse quam cum solus esset
LegalLord
Profile Blog Joined April 2013
United States13779 Posts
July 15 2013 17:44 GMT
#1692
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."

That is not how mathematics works.
History will sooner or later sweep the European Union away without mercy.
corumjhaelen
Profile Blog Joined October 2009
France6884 Posts
July 15 2013 18:00 GMT
#1693
On July 16 2013 02:44 LegalLord wrote:
Show nested quote +
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."

That is not how mathematics works.

Really ? I'm like, really really surprised.
‎numquam se plus agere quam nihil cum ageret, numquam minus solum esse quam cum solus esset
wherebugsgo
Profile Blog Joined February 2010
Japan10647 Posts
July 15 2013 18:05 GMT
#1694
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."


I like.

In all seriousness though what does this whole conversation about integer subsequences in pi have to do with anything? And why are people making assertions that they seem to be 100% sure of while simultaneously saying they don't even study the field?
LegalLord
Profile Blog Joined April 2013
United States13779 Posts
July 15 2013 18:10 GMT
#1695
On July 16 2013 03:00 corumjhaelen wrote:
Show nested quote +
On July 16 2013 02:44 LegalLord wrote:
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."

That is not how mathematics works.

Really ? I'm like, really really surprised.

Not finding a proof yet does not imply that such a proof does not exist. Sometimes it does in physics, but never in mathematics.
History will sooner or later sweep the European Union away without mercy.
corumjhaelen
Profile Blog Joined October 2009
France6884 Posts
July 15 2013 18:11 GMT
#1696
On July 16 2013 03:10 LegalLord wrote:
Show nested quote +
On July 16 2013 03:00 corumjhaelen wrote:
On July 16 2013 02:44 LegalLord wrote:
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."

That is not how mathematics works.

Really ? I'm like, really really surprised.

Not finding a proof yet does not imply that such a proof does not exist. Sometimes it does in physics, but never in mathematics.

Tell me more. Are you romanian ?
‎numquam se plus agere quam nihil cum ageret, numquam minus solum esse quam cum solus esset
TSORG
Profile Joined September 2012
293 Posts
July 15 2013 18:12 GMT
#1697
So now were talking about pi, what did you guys think of The Life of Pi?
Reason
Profile Blog Joined June 2006
United Kingdom2770 Posts
Last Edited: 2013-07-15 18:16:29
July 15 2013 18:14 GMT
#1698
On July 16 2013 03:05 wherebugsgo wrote:
Show nested quote +
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."


I like.

In all seriousness though what does this whole conversation about integer subsequences in pi have to do with anything? And why are people making assertions that they seem to be 100% sure of while simultaneously saying they don't even study the field?

Well, if you'd been following this thread you'd know it was because of this post
On July 15 2013 11:52 Shiori wrote:
Show nested quote +
On July 15 2013 10:53 oneofthem wrote:
the biology is simple. if it's not simple, ie the brain is chemical and electricity plus gravity and particle X, then the thread would probably be changed to "is the mind all chemical and electricity plus gravity and particle X."

Speaking of simplicity, I had a thought:

As pi is an irrational number which is non-repeating and doesn't have any (as proved by mathematics up to this point) non-random distribution of digits, one could map every piece of information in the universe to distinct sequences contained in pi (one could actually encode all information in the universe in pi by this kind of method, totally hypothetically, but that doesn't matter). By this metric, pi is more complex (i.e. less simple) than anything in the universe, and is more complex than the entire physical universe in the sense of all the facts about energy/matter that exist pertaining to the universe (discovered or undiscovered) because there will always be an infinite number of unused sequences (given that energy is always conserved and the universe is finite implies that we can get a pretty meaningful representation of the information in the universe using finitely many elements).

But think of it this way: find any circle, anywhere, be it in your mind or on a piece of paper. Pi is the circumference of that circle divided by the diameter of that circle. Every damn time.

So from that point of view, it's simple and complex ^.^.

I know it's not a bulletproof analogy since this idea would require a super-complex system to assign things to different sequences and identify them etc. etc., but it's cool to think about...

><

I don't think anybody is guilty of making assertions that they can't back up or they didn't qualify with "this is probably wrong" so I'm not sure what you meant by your last comment.

The actual on topic discussion has come to an end for the most part though.
Speak properly, and in as few words as you can, but always plainly; for the end of speech is not ostentation, but to be understood.
DertoQq
Profile Joined October 2010
France906 Posts
July 15 2013 18:24 GMT
#1699
On July 16 2013 03:11 corumjhaelen wrote:
Show nested quote +
On July 16 2013 03:10 LegalLord wrote:
On July 16 2013 03:00 corumjhaelen wrote:
On July 16 2013 02:44 LegalLord wrote:
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."

That is not how mathematics works.

Really ? I'm like, really really surprised.

Not finding a proof yet does not imply that such a proof does not exist. Sometimes it does in physics, but never in mathematics.

Tell me more. Are you romanian ?


Are you implying that every single proof possible to verify in polynomial time have been found yet ? Even if a program can verify a proof in a polynomial time, you still have to write and find this program.
"i've made some empty promises in my life, but hands down that was the most generous" - Michael Scott
zefreak
Profile Blog Joined December 2011
United States2731 Posts
July 15 2013 18:28 GMT
#1700
On July 16 2013 03:24 DertoQq wrote:
Show nested quote +
On July 16 2013 03:11 corumjhaelen wrote:
On July 16 2013 03:10 LegalLord wrote:
On July 16 2013 03:00 corumjhaelen wrote:
On July 16 2013 02:44 LegalLord wrote:
On July 16 2013 02:39 corumjhaelen wrote:
Now I think we should all start giving our opinions on P=NP and vote on what we like the most. I have a fun proof for those who like that sort of things. Credit to Hubert Chen :
+ Show Spoiler +

"Proof by contradiction. Assume P=NP. Let y be a proof that P=NP. The proof y can be verified in polynomial time by a competent computer scientist, the existence of which we assert. However, since P=NP, the proof y can be generated in polynomial time by such computer scientists. Since this generation has not yet occurred (despite attempts by such computer scientists to produce a proof), we have a contradiction."

That is not how mathematics works.

Really ? I'm like, really really surprised.

Not finding a proof yet does not imply that such a proof does not exist. Sometimes it does in physics, but never in mathematics.

Tell me more. Are you romanian ?


Are you implying that every single proof possible to verify in polynomial time have been found yet ? Even if a program can verify a proof in a polynomial time, you still have to write and find this program.


It was a joke and you are taking it seriously
www.gosu-sc.com - Starcraft News, Strategy and Merchandise
Prev 1 83 84 85 86 87 104 Next
Please log in or register to reply.
Live Events Refresh
CranKy Ducklings
10:00
Master Swan Open #106
CranKy Ducklings33
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Trikslyr17
StarCraft: Brood War
Calm 6166
Leta 4777
Hyuk 2192
PianO 1679
Shuttle 1117
Pusan 298
firebathero 238
Mini 214
hero 127
Killer 117
[ Show more ]
Sexy 84
Sharp 53
ZerO 48
Yoon 39
scan(afreeca) 33
EffOrt 28
Terrorterran 27
Barracks 22
Hm[arnc] 16
ajuk12(nOOB) 16
zelot 14
SilentControl 10
910 8
Noble 6
[sc1f]eonzerg 3
Dota 2
The International92701
Gorgc7257
singsing2838
resolut1ontv 72
League of Legends
JimRising 428
Counter-Strike
nookyyy 103
kRYSTAL_56
Super Smash Bros
Mew2King91
Other Games
ToD152
ZerO(Twitch)6
Organizations
Other Games
gamesdonequick414
BasetradeTV30
[ Show 15 non-featured ]
StarCraft 2
• Berry_CruncH328
• StrangeGG 59
• LUISG 15
• CranKy Ducklings SOOP4
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Migwel
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• WagamamaTV172
League of Legends
• Jankos1527
• Stunt600
Upcoming Events
PiG Sty Festival
1h 43m
Zoun vs Solar
SHIN vs Maru
Patches Events
5h 43m
Sparkling Tuna Cup
23h 43m
PiG Sty Festival
1d 1h
TBD vs Reynor
Serral vs TBD
OSC
1d 5h
Afreeca Starleague
1d 23h
hero vs ggaemo
Larva vs Mong
The Patches Monday
2 days
Afreeca Starleague
2 days
Soulkey vs PianO
JyJ vs sSak
GSL
3 days
PiGosaur Cup
3 days
[ Show More ]
Replay Cast
3 days
Afreeca Starleague
3 days
Mini vs Calm
Queen vs EffOrt
Replay Cast
4 days
The PondCast
4 days
IntoTheTV X SOOP
6 days
Liquipedia Results

Completed

Escore Tournament S3: W8
CranK Gathers Season 4: BW vs SC2 Team League
Eternal Conflict S2 Finale

Ongoing

KCM Race Survival 2026 Season 3
K-JUNGMAN
ASL Season 22
Super Anchor Qualifying S3
CSL Season 22: Qualifier 1
RSL Revival: Season 6
PiG Sty Festival 8.0
META DYMY #4
Esports World Cup 2026
Esports World Cup 2026: LCQ
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026
IEM Cologne Major 2026

Upcoming

CSL Season 22: Qualifier 2
CSL 2026 AUTUMN (S22)
Acropolis #5
Acropolis #5 - TRS
Blizzard Classic Cup 2026
Acropolis #5 - GSA
Acropolis #5 - GSB
HSC XXX
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
Big Dog Cup 2026 Div 1
IEM Beijing 2026
Stake Ranked Episode 5
PGL Masters Bucharest 2026
Thunderpick World Champ. '26
ESL Pro League Season 24
Stake Ranked Episode 4
1win Private Club #1
Logitech G Play Connect 2026
SL StarSeries Fall 2026
FISSURE Playground #3
BLAST Open Fall 2026
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.