News for hackers. Stuff that matters.

A comment on Physicists want to rebuild quantum theory from scratch. Parent comment

Re:Physicists want to rebuild quantum theory from scratch by sgt101 on Monday September 04, 2017 @10:55AM (#15168617)
I looked the jpg up, and you are a bit mean!!! I am trying not to cry real tears ;)

I get the busy beavers thing, humans can't do that, nor computers - it says nothing much!

But... are there things that are not computable that aren't formalised either - for example the choosing to determine when shifting system is needed to prove something that may or may not be proved in a particular system?

[ Parent | on HN ]
Re:Physicists want to rebuild quantum theory from scratch by tbabb on Monday September 04, 2017 @01:17PM (#15169533)
Sorry, maybe that was a bit harsh. :)

[Recurse Center](https://www.recurse.com/manual) (explained in the section 'social rules') has a social rule against "well-actuallys" which is intended to discourage nitpicking. If someone does it, you just point out "hey, that's a 'well-actually'", and they go 'oh sorry' and you move on. That was my way of pointing out a well-actually. :)

> the choosing to determine when shifting system is needed to prove something that may or may not be proved in a particular system?

Sorry, I am having a hard time parsing this. What do you mean?

[ Parent | on HN ]