Computer math proof too large for humans:

Computer generated proof of a math problem set out by Erdos now solved by computer but can it be trusted when the proof runs gigabytes long? Remember, a 300 page book can be put in a one megabyte file.
So this 13 GIGABYTE proof would be about the same as a city library full of books.

http://phys.org/news/2014-02-math-proof-large-humans.html

What now, sports fans?

Originally posted by sonhouse
Computer generated proof of a math problem set out by Erdos now solved by computer but can it be trusted when the proof runs gigabytes long? Remember, a 300 page book can be put in a one megabyte file.
So this 13 GIGABYTE proof would be about the same as a city library full of books.

http://phys.org/news/2014-02-math-proof-large-humans.html

What now, sports fans?

Punt.

Originally posted by RJHinds
Punt.

Please, elaborate...

Originally posted by FabianFnas
Please, elaborate...

It is my experience that, when he gives a nonsense post (which is always ) , when you ask him to explain it, he responds by giving yet another nonsense post.
This is just one of the many reasons why I have installed software to block his posts so I do not see them and thus have no temptation to totally waste my time responding to them else I find it psychologically very hard to just ignore it and not respond to such rubbish. It is just so hard each time to resist the massive temptation to point out the obvious of what is so terribly wrong with what he says, isn't it!

Originally posted by humy
It is my experience that, when he gives a nonsense post (which is always ) , when you ask him to explain it, he responds by giving yet another nonsense post.
This is just one of the many reasons why I have installed software to block his posts so I do not see them and thus have no temptation to totally waste my time responding to them else I find it psycholog ...[text shortened]... ve temptation to point out the obvious of what is so terribly wrong with what he says, isn't it!

Yes, he is peculiar.

I just don't understand the very word "punt". I cannot locate it in my dictionary, and it has 130,000 entries. That's why I wanted him to elaborate. However, I don't think he knows anything about math proofs at all. If his creationist friends don't have to say about it, then he is totally silent. Unless he automatically refer to his beloved pet evilution theory or something alike.

Originally posted by FabianFnas
Yes, he is peculiar.

I just don't understand the very word "punt". I cannot locate it in my dictionary, and it has 130,000 entries. That's why I wanted him to elaborate. However, I don't think he knows anything about math proofs at all. If his creationist friends don't have to say about it, then he is totally silent. Unless he automatically refer to his beloved pet evilution theory or something alike.

I don't think he knows anything about math proofs at all.

LOL. That is to say the least. He has the bad habit of talking about things he is completely ignorant of. It is always amazing how much he has to say and how much opinion he has on things he doesn't know the slightest thing about and yet he always condescending and arrogantly makes out he knows EVERYTHING about it better than we do! I have literally never known any person quite as opinionated as him.

Originally posted by FabianFnas
Yes, he is peculiar.

I just don't understand the very word "punt". I cannot locate it in my dictionary, and it has 130,000 entries. That's why I wanted him to elaborate. However, I don't think he knows anything about math proofs at all. If his creationist friends don't have to say about it, then he is totally silent. Unless he automatically refer to his beloved pet evilution theory or something alike.

I can help with 'punt'. It is an American football term, and baseball, you punt the ball in baseball, for instance, when the pitcher and the rest of the opposing team thinks you are going to go for a home run, bat the ball out of the park but instead you hold the bat with both hands and just barely tap the ball and it goes forward a couple of feet and drops, like a drop shot in tennis, which lands very close to the net making it difficult for the other player to strike the ball. In baseball, it is a surprise attack designed to throw people off, like if bases were loaded a couple of runs might get in and you get your butt to first base before they can scramble around to pick up the ball and throw it to whoever they need to, but you hope that will come too late for the play to be over and everyone on the batter's team safe.

That was just picked up by me by osmosis🙂 I don't follow baseball. I am more of a tennis dude in sports, played badminton in college, won first place in our little college tournament, got a trophy about 100 mm high🙂
I was kind of embarrassed to even pick it up compared to all the football stars and wrestlers picking up their 2 meter high trophies🙂

Originally posted by sonhouse
I can help with 'punt'. It is an American football term, and baseball, you punt the ball in baseball, for instance, when the pitcher and the rest of the opposing team thinks you are going to go for a home run, bat the ball out of the park but instead you hold the bat with both hands and just barely tap the ball and it goes forward a couple of feet and drops ...[text shortened]... it up compared to all the football stars and wrestlers picking up their 2 meter high trophies🙂

And by this I've learnt a new word. 🙂

What our friend meant was, that the proof was meant to be very lengthy when in fact it became a tiny book anyone would be fooled by?

Well, never mind. What he means and what he rights is never the same anyway. By doing that he can always whine of that "this was not what I wrote" or "this was not what I meant". A good strategy. Once, Sometimes twice. But never thrice.

Originally posted by FabianFnas
And by this I've learnt a new word. 🙂

What our friend meant was, that the proof was meant to be very lengthy when in fact it became a tiny book anyone would be fooled by?

Well, never mind. What he means and what he rights is never the same anyway. By doing that he can always whine of that "this was not what I wrote" or "this was not what I meant". A good strategy. Once, Sometimes twice. But never thrice.

I think he was thinking more along the lines of 'do nothing', it's not worth the effort, something like that. He has always been anti science even though he vigorously denies that. My guess is he won't be back to this particular thread at all.

Originally posted by sonhouse
I can help with 'punt'. It is an American football term, and baseball, you punt the ball in baseball, for instance, when the pitcher and the rest of the opposing team thinks you are going to go for a home run, bat the ball out of the park but instead you hold the bat with both hands and just barely tap the ball and it goes forward a couple of feet and drops ...[text shortened]... it up compared to all the football stars and wrestlers picking up their 2 meter high trophies🙂

It's also a kind of flat bottomed boat propelled by a pole.

Slightly more on topic, the proof consists of an algorithm which can be checked. The program can be implemented independently and checked on different hardware - it's no different from drawing conclusions from a simulation or in some respects from doing an experiment.