Conversation
Notices
-
Infected Moomin (moon@shitposter.club)'s status on Wednesday, 27-Oct-2021 23:44:14 JST Infected Moomin was that part of the goedel thing where you can't describe a system you're inside -
バツ子(痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Wednesday, 27-Oct-2021 23:44:12 JST バツ子(痛いの痛いの飛んでけ;; @Moon @lain it's kinda fundamental to what information is but most people ignored implications -
Infected Moomin (moon@shitposter.club)'s status on Wednesday, 27-Oct-2021 23:44:13 JST Infected Moomin @lain I've never read it as I consider it a potential infohazard -
lain (lain@lain.com)'s status on Wednesday, 27-Oct-2021 23:44:14 JST lain @Moon sorry, read 'what as that' -
バツ子(痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Wednesday, 27-Oct-2021 23:51:35 JST バツ子(痛いの痛いの飛んでけ;; @newt @lain @Moon is standard platonist take on it, that `true` exists somewhere transcendentally even when it can't be touched -
Stereophonic Absurd (newt@stereophonic.space)'s status on Wednesday, 27-Oct-2021 23:51:37 JST Stereophonic Absurd @Moon @lain oh maybe you should. But it means a tiny bit different thing from what you described.Basically, the incompleteness theorems mean that there's no algorithm that can derive all true statements given some set of axioms and that there always will be undecidable statements.But this has nothing to do with gnosticism, unlike what some people try to imply. -
Stereophonic Absurd (newt@stereophonic.space)'s status on Wednesday, 27-Oct-2021 23:52:49 JST Stereophonic Absurd @shmibs @lain @Moon just like most fedi users girlfriends バツ子(痛いの痛いの飛んでけ;; likes this.
-