• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 00:37
CEST 06:37
KST 13:37
  • 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
[ASL21] Ro24 Preview Pt2: News Flash10[ASL21] Ro24 Preview Pt1: New Chaos0Team Liquid Map Contest #22 - Presented by Monster Energy18ByuL: The Forgotten Master of ZvT30Behind the Blue - Team Liquid History Book20
Community News
Weekly Cups (March 23-29): herO takes triple6Aligulac acquired by REPLAYMAN.com/Stego Research8Weekly Cups (March 16-22): herO doubles, Cure surprises3Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool51Weekly Cups (March 9-15): herO, Clem, ByuN win4
StarCraft 2
General
Team Liquid Map Contest #22 - Presented by Monster Energy Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool What mix of new & old maps do you want in the next ladder pool? (SC2) Aligulac acquired by REPLAYMAN.com/Stego Research Weekly Cups (March 23-29): herO takes triple
Tourneys
RSL Season 4 announced for March-April Sparkling Tuna Cup - Weekly Open Tournament StarCraft Evolution League (SC Evo Biweekly) WardiTV Mondays World University TeamLeague (500$+) | Signups Open
Strategy
Custom Maps
[M] (2) Frigid Storage Publishing has been re-enabled! [Feb 24th 2026]
External Content
The PondCast: SC2 News & Results Mutation # 520 Moving Fees Mutation # 519 Inner Power Mutation # 518 Radiation Zone
Brood War
General
BSL 22 Map Contest — Submissions OPEN to March 10 so ive been playing broodwar for a week straight. Klaucher discontinued / in-game color settings BGH Auto Balance -> http://bghmmr.eu/ Pros React To: JaeDong vs Queen
Tourneys
[Megathread] Daily Proleagues [ASL21] Ro24 Group E [ASL21] Ro24 Group F Azhi's Colosseum - Foreign KCM
Strategy
What's the deal with APM & what's its true value Fighting Spirit mining rates Simple Questions, Simple Answers
Other Games
General Games
Stormgate/Frost Giant Megathread Starcraft Tabletop Miniature Game Nintendo Switch Thread General RTS Discussion Thread Darkest Dungeon
Dota 2
The Story of Wings Gaming Official 'what is Dota anymore' discussion
League of Legends
G2 just beat GenG in First stand
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Mafia Game Mode Feedback/Ideas TL Mafia Community Thread Five o'clock TL Mafia
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread The Chess Thread NASA and the Private Sector Things Aren’t Peaceful in Palestine
Fan Clubs
The IdrA Fan Club
Media & Entertainment
[Req][Books] Good Fantasy/SciFi books [Manga] One Piece Movie Discussion!
Sports
2024 - 2026 Football Thread Formula 1 Discussion Cricket [SPORT] Tokyo Olympics 2021 Thread General nutrition recommendations
World Cup 2022
Tech Support
[G] How to Block Livestream Ads
TL Community
The Automated Ban List
Blogs
Broowar part 2
qwaykee
China Uses Video Games to Sh…
TrAiDoS
Funny Nicknames
LUCKY_NOOB
Iranian anarchists: organize…
XenOsky
FS++
Kraekkling
Shocked by a laser…
Spydermine0240
ASL S21 English Commentary…
namkraft
Electronics
mantequilla
Customize Sidebar...

Website Feedback

Closed Threads



Active: 11731 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
Next event in 5h 23m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
WinterStarcraft487
RuFF_SC2 199
ProTech143
NeuroSwarm 108
Ketroc 58
UpATreeSC 25
StarCraft: Brood War
GuemChi 6002
BeSt 1221
ggaemo 127
Terrorterran 116
scan(afreeca) 113
Nal_rA 113
Pusan 53
Shinee 33
Noble 17
Bale 16
[ Show more ]
Icarus 8
Dota 2
monkeys_forever581
League of Legends
JimRising 922
Counter-Strike
m0e_tv528
Heroes of the Storm
Khaldor119
Other Games
summit1g16287
C9.Mang0209
ViBE189
Nina25
Organizations
Other Games
gamesdonequick809
BasetradeTV145
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 17 non-featured ]
StarCraft 2
• Berry_CruncH277
• Light_VIP 23
• LaughNgamezSOOP
• sooper7s
• AfreecaTV YouTube
• Migwel
• intothetv
• Kozan
• IndyKCrew
StarCraft: Brood War
• Diggity6
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
League of Legends
• Lourlo1176
• Rush758
• Stunt318
Other Games
• Shiphtur203
Upcoming Events
Afreeca Starleague
5h 23m
Wardi Open
5h 23m
Replay Cast
19h 23m
Sparkling Tuna Cup
1d 5h
Kung Fu Cup
2 days
The PondCast
3 days
Replay Cast
3 days
Replay Cast
4 days
CranKy Ducklings
5 days
BSL
5 days
[ Show More ]
Replay Cast
5 days
Sparkling Tuna Cup
6 days
BSL
6 days
Replay Cast
6 days
Liquipedia Results

Completed

CSL Elite League 2026
RSL Revival: Season 4
NationLESS Cup

Ongoing

BSL Season 22
ASL Season 21
CSL Season 20: Qualifier 2
CSL 2026 SPRING (S20)
StarCraft2 Community Team League 2026 Spring
Nations Cup 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League S23 Finals
ESL Pro League S23 Stage 1&2
PGL Cluj-Napoca 2026
IEM Kraków 2026
BLAST Bounty Winter 2026

Upcoming

Escore Tournament S2: W2
IPSL Spring 2026
Escore Tournament S2: W3
Acropolis #4
BSL 22 Non-Korean Championship
CSLAN 4
Kung Fu Cup 2026 Grand Finals
HSC XXIX
uThermal 2v2 2026 Main Event
RSL Revival: Season 5
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026
BLAST Rivals Spring 2026
CCT Season 3 Global Finals
IEM Rio 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.