 Dec 2022

math.stackexchange.com math.stackexchange.com

My freely downloadable Beginning Mathematical Logic is a Study Guide, suggesting introductory readings beginning at subMasters level. Take a look at the main introductory suggestions on FirstOrder Logic, Computability, Set Theory as useful preparation. Tackling midlevel books will help develop your appreciation of mathematical approaches to logic.
This is a reference to a great book "Beginning Mathematical Logic: A Study Guide [18 Feb 2022]" by Peter Smith on "Teach Yourself Logic A Study Guide (and other Book Notes)". The document itself is called "LogicStudyGuide.pdf".
It focuses on mathematical logic and can be a gateway into understanding Gödel's incompleteness theorems.
I found this some time ago when looking for a way to grasp the difference between firstorder and secondorder logics. I recall enjoying his style of writing and his commentary on the books he refers to. Both recollections still remain true after rereading some of it.
It both serves as an intro to and recommended reading list for the following:  classical logics  first & secondorder  modal logics  model theory<br />  nonclassical logics  intuitionistic  relevant  free  plural  arithmetic, computability, and incompleteness  set theory (naïve and less naïve)  proof theory  algebras for logic  Boolean  Heyting/pseudoBoolean  higherorder logics  type theory  homotopy type theory

 Jul 2022

bafybeicuq2jxzrw7omddwzohl5szkqv6ayjiubjy3uopjh5c3cghxq6yoe.ipfs.dweb.link bafybeicuq2jxzrw7omddwzohl5szkqv6ayjiubjy3uopjh5c3cghxq6yoe.ipfs.dweb.link

worldview as a complex mental object makes sense onlyin the light of evolution – as the work in progress that it is; both fluid and firm at thesame time.
! question : strange loop * I'm not sure if I agree with this claim, I'll have to read and see if he can justify it * I would claim instead that language and symbols are even more profoundly entangled, as per Nagarjuna's work * https://hyp.is/go?url=http%3A%2F%2Fdocdrop.org%2Fvideo%2FHRuOEfnqV6g%2F&group=world

 Jun 2021

www.fudco.com www.fudco.com

cheap trick
Does Morningstar think that math too suffers from the same issues he finds in critical theory, or just Godel's incompleteness theorem (I'm assuming that's what Morningstar is alluding to)? Explore a deep discussion about whether Godel's incompleteness theorem is a cheap trick.

 Jan 2021

opentheory.net opentheory.net

But there can also be a buildup of tension as one gathers information that is incompatible with one’s key signature, which gets progressively more difficult to maintain, and can lead to the sort of intensity of experience that drives an annealinglike process when the key signature flips.
cue [[Godel Escher Bach]]'s [[Little Harmonic Labyrinth]]: ends in a pseudotonic that never returns back to original [[tonic]]. results in tension dangling from continual musical modulation without resolution
similar to [[linguistic]] structures as well  unconsciously keeping track of constructions and hierarchies within sentences

 Dec 2020

stopa.io stopa.io

explanation of godel's theorems
