• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 10:17
CEST 16:17
KST 23: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
Serral wins EWC 202537Tournament Spotlight: FEL Cracow 202510Power Rank - Esports World Cup 202580RSL Season 1 - Final Week9[ASL19] Finals Recap: Standing Tall15
Community News
LiuLi Cup - August 2025 Tournaments3[BSL 2025] H2 - Team Wars, Weeklies & SB Ladder9EWC 2025 - Replay Pack4Google Play ASL (Season 20) Announced53BSL Team Wars - Bonyth, Dewalt, Hawk & Sziky teams10
StarCraft 2
General
The GOAT ranking of GOAT rankings Interview with Chris "ChanmanV" Chan Serral wins EWC 2025 Tournament Spotlight: FEL Cracow 2025 Classic: "It's a thick wall to break through to become world champ"
Tourneys
Sparkling Tuna Cup - Weekly Open Tournament LiuLi Cup - August 2025 Tournaments Sea Duckling Open (Global, Bronze-Diamond) TaeJa vs Creator Bo7 SC Evo Showmatch FEL Cracov 2025 (July 27) - $10,000 live event
Strategy
Custom Maps
External Content
Mutation # 484 Magnetic Pull Mutation #239 Bad Weather Mutation # 483 Kill Bot Wars Mutation # 482 Wheel of Misfortune
Brood War
General
Which top zerg/toss will fail in qualifiers? Google Play ASL (Season 20) Announced Nobody gona talk about this year crazy qualifiers? BW General Discussion Scmdraft 2 - 0.9.0 Preview
Tourneys
[ASL20] Online Qualifiers Day 2 [ASL20] Online Qualifiers Day 1 [Megathread] Daily Proleagues Small VOD Thread 2.0
Strategy
[G] Mineral Boosting Muta micro map competition Does 1 second matter in StarCraft? Simple Questions, Simple Answers
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Beyond All Reason Total Annihilation Server - TAForever [MMORPG] Tree of Savior (Successor of Ragnarok)
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread Vanilla Mini Mafia
Community
General
9/11 Anniversary Possible Al Qaeda Attack on 9/11 US Politics Mega-thread Things Aren’t Peaceful in Palestine European Politico-economics QA Mega-thread
Fan Clubs
INnoVation Fan Club SKT1 Classic Fan Club!
Media & Entertainment
[Manga] One Piece Anime Discussion Thread [\m/] Heavy Metal Thread Movie Discussion! Korean Music Discussion
Sports
Formula 1 Discussion 2024 - 2025 Football Thread TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
Gtx660 graphics card replacement Installation of Windows 10 suck at "just a moment" Computer Build, Upgrade & Buying Resource Thread
TL Community
TeamLiquid Team Shirt On Sale The Automated Ban List
Blogs
ASL S20 English Commentary…
namkraft
The Link Between Fitness and…
TrAiDoS
momentary artworks from des…
tankgirl
from making sc maps to makin…
Husyelt
StarCraft improvement
iopq
Socialism Anyone?
GreenHorizons
Customize Sidebar...

Website Feedback

Closed Threads



Active: 754 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 Kingdom13775 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 Kingdom13775 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
BSL20 Non-Korean Champi…
14:00
Playoff - Day 2/2 - Final
Bonyth vs TBD
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Hui .263
MindelVK 51
ProTech49
mcanning 13
StarCraft: Brood War
Britney 97633
Calm 5642
Mini 1156
Horang2 1152
EffOrt 721
BeSt 642
ggaemo 483
Larva 329
firebathero 312
Hyuk 283
[ Show more ]
Mong 268
Stork 260
hero 213
Leta 117
TY 99
Zeus 98
ToSsGirL 96
ZZZero.O 88
sas.Sziky 41
Sea.KH 36
Sharp 16
Killer 15
Terrorterran 11
Noble 10
NaDa 1
Dota 2
qojqva3858
Gorgc2262
XcaliburYe398
420jenkins235
Heroes of the Storm
Khaldor308
Liquid`Hasu96
Other Games
B2W.Neo1231
DeMusliM652
Happy251
mouzStarbuck197
ArmadaUGS85
Organizations
Other Games
BasetradeTV25
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 18 non-featured ]
StarCraft 2
• Gemini_19 128
• davetesta51
• Reevou 12
• Berry_CruncH2
• Dystopia_ 2
• AfreecaTV YouTube
• intothetv
• sooper7s
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
StarCraft: Brood War
• FirePhoenix4
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• WagamamaTV815
League of Legends
• Jankos1827
Upcoming Events
WardiTV European League
1h 43m
ByuN vs ShoWTimE
HeRoMaRinE vs MaxPax
Wardi Open
20h 43m
OSC
1d 9h
uThermal 2v2 Circuit
3 days
The PondCast
3 days
Replay Cast
4 days
uThermal 2v2 Circuit
5 days
RSL Revival
5 days
RSL Revival
5 days
uThermal 2v2 Circuit
6 days
[ Show More ]
Sparkling Tuna Cup
6 days
Liquipedia Results

Completed

ASL Season 20: Qualifier #1
FEL Cracow 2025
CC Div. A S7

Ongoing

Copa Latinoamericana 4
Jiahua Invitational
BSL 20 Non-Korean Championship
BSL 20 Team Wars
KCM Race Survival 2025 Season 3
BSL 21 Qualifiers
ASL Season 20: Qualifier #2
HCC Europe
IEM Cologne 2025
FISSURE Playground #1
BLAST.tv Austin Major 2025
ESL Impact League Season 7
IEM Dallas 2025

Upcoming

ASL Season 20
CSLPRO Chat StarLAN 3
BSL Season 21
RSL Revival: Season 2
Maestros of the Game
SEL Season 2 Championship
WardiTV Summer 2025
uThermal 2v2 Main Event
Thunderpick World Champ.
MESA Nomadic Masters Fall
CAC 2025
Roobet Cup 2025
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
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 © 2025 TLnet. All Rights Reserved.