The Eternal Doorman

Following on from Sheafification of G - On the Use Of Cack-eulators in Skool : There is a web site:  https://jamesrmeyer.com/ffgit/godel-original-english#PROP-VI . See also Martin Hirzel's translation : The key word is effectively , which is omitted from James R Meyer's translation:  But present in the original : This matters, because it shows how Gödel's proof rests on fixing the representation, without this nothing significant results, but the representation is arbitrary! See  John Searle - Syntax is Observer-Relative and John Searle's Chinese Room Argument .  

Part II Subscribe to Myra West . Maia does it well too: Subscribe to Vibration Translation .

Subscribe to Teddy Lambec . See Macron is a Penniless Bum .  Subscribe to Reason2Resist .

What is Cack-eulation, you ask? Ask AI:     My comment : Me too! " Resumen del video generado por IA. La IA puede cometer errores. Verifica las respuestas. Sheafification of G explores the academic tension between fundamental arithmetic skills and the reliance on automated computational tools. The discussion examines how modern technological advancements impact pedagogy, mathematical agency, and the creative process within the field, reflecting on the necessity of maintaining foundational knowledge in an era of increasing automation." 🤣 The same goes for professors who use formal theorem proving tools like Agda and Lean. Most of these people have no idea what the tools they use actually do. See Andy Pitts on Intensional Setoids . In fact, because of the appalling state of Computer Science, nobody actually has the slightest idea what these stupid fucking machines are doing. I mean nobody , not even the twits who designed them (when was the last time you audited a CPU microco...

She says this is unedited, written down as she thought it. It's really brilliant! Then she did a second draft on a typewriter: Subscribe to Curious Wandering Souls .

They have an album Made in Germany - vol. I - LIVE coming out in December and a European tour. See  https://www.strangekindofwomen.com/ . See  Strange Kind of Women - Soldier of Fortune . Subscribe to  Strange Kind of Women .

From the description: Roughly speaking, Martin-Löf's dependent type theory comes in two flavours, intensional and extensional. Compared with the second flavour, the first one lacks logical principles such as function extensionality that are taken for granted in mathematics; but it has very good computational properties and (therefore) underlies the various theorem-proving systems implementing dependent type theory. Since Martin Hofmann's PhD work in the late 1990s, we have known that some type-theoretic version of the notion of "setoid" (= set equipped with an equivalence relation) can be used to regain some version of extensional type theory in some version of intensional type theory; but to be more precise, one has to explain the three "some"s in that sentence. I have long avoided thinking about setoids, because the topic is said to be hellish; but one can grow to love most things if one tries! In this talk I will tell you some things I have learned (peeri...

Probably couldn't even afford a vibrator.  Subscribe to  LeejaMiller .    Richard Wolff and Michael Hudson talking European and British insanity over lunch:     57:30 Jean-Luc Mélenchon might yet be able to come up with a plan to buy Macron a great big one.   Subscribe to Dialogue Works .

Well, if there are any around, then they presumably also learned to ask themselves how it is that they know what are the facts. Poor old Bertie wasn't so good at that bit. I put it down to his difficult upbringing.   Subscribe  PhilosophieKanal . Joke: Why didn't Aristotle include a work on Comedy in his Poetics? Because he knew Bertrand Russell would write "The History of Western Philosophy"