The Paradox of the Proof • Hacker News Board

Re: The Paradox of the Proof

#121

Post by ics » Sun, May 12, 2013, 2:50 AM UTC

stianan wrote: post #109

ics wrote: post #103

Earlier quoted context omitted.

Song from the album: http://youtu.be/feOLbipVGEU If you find a copy of his explanation in Japanese I'll try to see if he's referring to a literal animation or not. I couldn't find one and he doesn't really refer to anything beyond the theme/concept and the girl's theta-like eyes. Edit: Something else I found ( https://www.jstage.jst.go.jp/article/essfr/6/3/6_160/_pdf ).

Is that article written by Mochizuki? Can you make sense of it?

It is not written by Mochizuki (望月新一), but rather by Shiraki Yoshinao (白木善尚). You can see his profile here: http://www.sci.toho-u.ac.jp/is/lab/shiraki_lab/shiraki.html

I didn't really get much from it even with some assistance, but the very first part is a quick dialogue about a universe king and a neighbor universe king exchanging New Years gifts. Section 7 is about the そっくりハウス and goes with the page you linked, but ends by saying something about the multiplicative and additive rotational properties have something to do with the different universes seeing each other. He compares the girl's excitement to Mochizuki's upon discovering the identical house inside of a house.

Someone with better command could give a much better summary, but I'd personally be more interested in the lecture Mochizuki gave himself on it IUTeich last week (according to his site).

Re: The Paradox of the Proof

#122

Post by gwern » Sun, May 12, 2013, 6:33 PM UTC

qznc wrote: post #111

gwern wrote: post #101

Earlier quoted context omitted.

> Of course: you try it, write up a massive future post about the results, and voila! ~-~ > I don't think anyone would mind another small button between PayPal and BTC. Yes, fair enough... I think I may just be making excuses at this point to not try it out.

Just put it in my website footer [0]. Flattr is very flexible. You can use various methods with more or less or no JavaScript. Also you can link stuff like Github, so starring a repo leads to flattr compensation. [0] http://beza1e1.tuxen.de/articles.html

Yeah, I just added it to http://www.gwern.net/ . At first I was all 'o.0 you expect me to load a bunch of JavaScript just to add a button' but then I spotted that there was a purely static version and added it without a problem. We'll see how it goes.

Re: The Paradox of the Proof

#123

Post by dredmorbius » Mon, May 13, 2013, 9:36 AM UTC

maxerickson wrote: post #112

dredmorbius wrote: post #99

Earlier quoted context omitted.

Readability tried something like this. Among the problems: authors / publishers didn't sign up, and money collected had to be distributed or reimbursed. Unclaimed funds eventually were awarded to a charity. Though I believe Readability had good intent, they took a great deal of flack for this. Money weirds things.

Most of the weirdness in the case of Readability came from charging their users before they had established the relationships to pass the funds along. Collecting funds for authors sort of advertises that you are paying them, doing it while not being able to pay them is pretty shady. I guess a better way to bootstrap such a thing would be as part of some sort of time tracker, show the user where they spent their time…

I don't know the situation, I wasn't there.

I can see this being the management team getting out in front of itself though. I can understand how others would criticize. I don't see any obvious signs of intentional malfeasance. Perhaps poor judgement.

The solution they proposed is one that I've been thinking should be applied to online content for some time.

Re: The Paradox of the Proof

#124

Post by sedachv » Wed, May 15, 2013, 10:25 PM UTC

voyou wrote: post #51

spitx wrote: post #26

"For centuries, mathematicians have strived towards a single goal: to understand how the universe works, and describe it." I cannot resist engaging that loaded premise. It is a thought that I've wanted - for some time - for someone to skilfully dissect and lay bare for easy comprehension. The closest I've come to seeing it, is the following - a concise and accessible yet well-rounded explanation of the relevance (or…

It's cool that "Alex Knapp, a science writer at Forbes" has solved one of the major issues in the philosophy of mathematics by, erm, just asserting that Platonism is false. Of course, maths is a tool, but that doesn't mean that it is just a tool, and Knapp doesn't provide any arguments for that conclusion. I can use a rock as a tool, but that doesn't mean the rock has no existence independent of my mind. In fact, the…

> It's cool that "Alex Knapp, a science writer at Forbes" has solved one of the major issues in the philosophy of mathematics by, erm, just asserting that Platonism is false.

And what is wrong with saying that? The burden of proof is on Platonists, just like it is on theists. I don't see any reason not to think that Platonism has been a huge waste of time.