3 ms·
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
by sgt101 9y ago
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?
- tbabb 9y agoSorry, maybe that was a bit harsh. :) [Recurse Center](https://www.recurse.com/manual 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?