Posts

Showing posts from October, 2026

Brad Lancaster Harvesting Water in Arizona

Image
Subscribe to Brad Lancaster . They could use some better water management in Los Cabos in Baja California too: Subscribe to On The Pulse with Silki . Subscribe to GrowTree Organics .

Glenn Diesen interview with Thomas Fazi

Image
42:49 You need to be motivated to believe this crap. The people in academia I have heard parroting it were people who had research contracts with government intelligence agencies.   44:10 You can also do censorship and call it bugs in the software.  So when the audio cuts out here, people say, well, that was just a coincidence. You know how many bugs there are in the Internet, .... My comment : Are you aware Fazi's audio cuts out at 44:51 until 45:31 ? and then again at the end.   Why is there no authoritative news source from, say, the United Nations? Because they can't afford it? Because the United Nations does not have access to journalists? Because such a thing would be of no value to member states? Or because the United Nations is just a stupid, disgraceful sham?  See  So Many Stupid Boring Ideas! ,  Francesca Albanesi Journalists Briefing and  Scott Ritter interview with Jacques Baud Part II - Sanctioning Truth . Subscribe to Glenn Diese...

Scott Ritter interview with Jacques Baud Part II - Sanctioning Truth

Image
You can support him by contributing to his legal fund: https://www.liberteexpression.ch/    My comment :  41:36 But if any European or British citizen were to go to Switzerland and apply for asylum there their case would be dismissed without a hearing because EU and Britain are considered safe countries.   See part I here:  Scott Ritter interview with Jacques Baud  and see Scott's recent interview with Nima Alkhorshid:  Scott Ritter on his Interview With Jacques Baud . Subscribe to Scott Ritter . 

So Many Stupid Boring Ideas!

Image
It's as if people were deliberately educated en masse to fail to be able to grasp the most basic premiss of actual human knowledge, which is how is it that we can ever actually know anything as individuals. As we learn to speak and understand each other, something each of does from a very young age, we solve this problem instinctively, but by the time we reach the level of post-graduate studies we seem to have been convinced otherwise. I have a great example of a post-doctorate researcher in "quantum foundations" and "quantum information processing" whose response to the idea that actual human knowledge is the invariant content of the different statements we can translate from one language to another (see Popper's 1978 Tanner lecture Three Worlds ) was "but where is it?" What is it that he wanted to know the location of? The actual human knowledge, of course! Why would one expect knowledge to have a physical location? Is this some demand that phys...

Scott Ritter on his Interview With Jacques Baud

Image
See  Scott Ritter interview with Jacques Baud : My comment : I hope someone does a whip-around to buy sandwiches for those poor lawyers too, they're probably working through their lunch-hours.   See https://www.liberteexpression.ch/   Here's the full interview: Subscribe to Dialogue Works .

Mikhail Gromov on Mathematical Description of Biological Structures

Image
His lecture notes are available here: https://www.ihes.fr/~gromov/wp-content/uploads/2025/03/Mathematics-in-Life-March-2025-Lecture1.pdf     1:27:38 Boundary conditions defined in terms of thermodynamic properties. Also at 13:54  and 19:58  and 47:17  (high frequency vibration in protein molecules) in this lecture:   5:42 Prokaryotic orgnisms were very busy for those first two billion years evolving the cellular metabolic pathways, but there is no fossil evidence of this until the eukaryotic cells appeared. They should still get some credit for the work though, because it was quite significant. 23:34 Quantum mechanics defines the quantum state in terms of the boundary conditions. The Born rule forbids a unitary dynamical explanation of those conditions.  35:31  Setting up an electronic circuit to activate a solenoid on a certain sequence of button presses is putting an interpretation on a physical system as representing the transfer of that inf...

Francesca Albanesi Journalists Briefing

Image
September 27th, 2026 Why was it so easy to identify journalists and their families? See  Angela Collier and Sage the Bad Naturalist Talking About the UK Government's "Protect and Survive" Pamphlet .  Subscribe to UN Human Rights Council .  Edward Snowden talk at ETH Zurich My comment: 25:42 It's not even worth running these stupid LLM programs locally. That is just the dumbest way imaginable to use a computer. With a tiny fraction of that compute and communications and data storage we could have a globally distributed verifiably secure computer and communications system which would make it impossible for anyone to subvert or otherwise control. Subscribe to  ETHics Forum . 

Water for Datacenters in NY

Image
The problem is the sheer fucking stupidity of using AI. It's the most inefficient way you can use a computer for anything except as a heater. AI is stupid, and only stupid people would use it, and only stupid evil cunts would try and sell it to people. Now let's have a civil conversation about the environmental effects: Subscribe to  AquaDiary Podcast . Here's an up-to-date list of stupid evil cunts. Funny how often Y-Combinator companies show up in this: My comment : RSI = Wanker's Cramp, clearly. Subscribe to Asianometry .

Pupina Plomer on El Día de los Muertos

Image
Subscribe to Pupina Plomer .

Santana, Natalia Lafourcade - Hermano

Image
Wow! I remember seeing this album in record shops when I was a kid, ...  Subscribe to Santana . 

Tomas Petricek's Cultures of Programming - 2. Hackers, engineers, managers, mathematicians and humanists

Image
My comment : That was interesting. There was also an idea of some of the people in the cybernetics movement in the forties and fifties of a kind of general science of control systems engineering that mostly petered out by the time companies like IBM, Burroughs etc. started making commercial digital computers, but some interesting parts continued, like the Cybersyn project of Stafford Beer which was a kind of humanistic/management hybrid culture which tried to incorporate information systems into government. The government was Salvador Allende's socialist government in Chile and the CIA put an end end to that and Allende too in 1973.  For more on Stafford Beer's ideas see James Corbett on Cybernetics .  See part 1 here:  Tomas Petricek on his Book "Cultures of Programming" . See  https://tomasp.net/cultures/  for more information about the book. Subscribe to Tomas Petricek .

AFI Interview with Werner Herzog and Marco Capalbo

Image
Mainly about the film Bucking Fastard: See  Searle on Consciousness . Subscribe to AFI . Subscribe to Film Fest Gent .

Leave Curious and Keep it Wild Collaboration

Image
See  https://keepitwild.uk/  and  https://www.leavecurious.com/welcome . Your national security depends upon it.  Hope - It's not Just France and Italy, ...   Subscribe to Leave Curious .

Mike McCulloch on Quantized Inertia and Old Galaxies

Image
My comment : I worry about the epistemological stability of your theory. These calculations regarding the age of the Universe based on red-shift, and the mass at that stage of cosmological evolution are all based on various theories (I am not a cosmologist or an astrophysicist so I don't know what they actually are) which produce certain data that you are using to support a different theory. I think you need to also take into account the consistency by showing (or at least indicating why it is not necessary to show) that the laws you are proposing do not produce different estimates for the age and apparent mass of the Universe at the time to which the observations on which you base these new theories are assumed. It is quite possible that you will find different values, and a different set of data that are consistent, then you will have the possibility of another experimental test of your theory. I have been saying for years that this ought to be a priority for all of physics/astro...

Thermodynamics and the Einstein-Szilard Refrigerator

Image
The earth can make ice in the tropics. See  Chimborazo  (whose summit is the point on the earth's surface furthest from its center). Subscribe to Applied Science . The Einstein-Szilard Refrigerator was patented by Albert Einstein and his former student Leo Szilard who were moved by a story of a family in Berlin dying because their refrigerator leaked toxic gases. They later become better known for their letter to Franklin D. Roosevelt encouraging the development of nuclear weapons by the United States.   

Jonathan Weinberger - Universes in simplicial homotopy type theory

Image
See Emily Riehl's  Could ∞-category theory be taught to undergraduates? I really think there's something wrong if people get funding for developing things that cannot be learned by others without them spending three years in full-time study. That's how you end up with nuclear weapons and lacking the know-how to provide food and shelter. See  The Only People Who Really Look After US National Security Interests .  Subscribe to Topos Institute . 

Aksioma - Simone C Niquille: Balloons etc.

Image
A lot of what she is doing is really applied mathematics, such as how Obama ... became this white dude: See these posts on other Aksioma talks . Subscribe to Aksioma . 

The Only People Who Really Look After US National Security Interests

Image
See  Hope - It's not Just France and Italy, ...   Subscribe to GrowTree Organics .

Angela Collier and Sage the Bad Naturalist Talking About the UK Government's "Protect and Survive" Pamphlet

Image
You can read the 1966 version here . Don't worry, they have much better plans now, otherwise they wouldn't dare try getting into a nuclear war with Russia, would they? This is a really good example of why people need to organise themselves to meet these contingencies, not to expect the United Nations, your government or Bill Gates to do it all for you. See Searle on Consciousness and  Richard Wolff interviewed by Afshin Rattansi . Subscribe to Sage the Bad Naturalist and  Angela Collier Also . Angela Lambert's Thames TV: THE BOMB. Would you survive?    Subscribe to War Precautions . The full 50 Minute Ministry of Information programme: Subscribe to zararity . Subscribe to Channel4 News . 48:13 British Ministry of Defence advice. Subscribe to Daniel Davis .  Who needs reliable social media?  My comment : I don't understand why the UN doesn't organise reliable media and telecommunications systems. Because it's not profitable for them? The ISO/IEC is based...

About Logic on Unique Choice

Image
See  About Logic interview with Giovanni Sambin . For more on Herbrand and "Syntax all the way down" listen to John Searle . My comment : 29:59 Deniz should be more discerning about the kinds of knowledge, otherwise he has to explain what he means when he finds Thorsten skipped breakfast. For example, you don't have to be the Pope to know that Bertrand Russell didn't have cereal for breakfast. See Polylog on The Busy Beaver .  Subscribe to About Logic .

Evan Patterson and David Jaz Myers taking Syntax Seriously

Image
So they get it?! But they don't call it syntax, they have to call it declarative meta-modelling otherwise nobody will give them money. See Category Theory May Actually be a Disease . Subscribe to Topos Institute .  My comment : The original source of this idea was in Volume II of the USAF Multics Security Evaluation report by Paul Karger and Roger Schell (1974) . You can get a copy of the full report online, this particular vulnerability is called an object code trapdoor. There is an even more insidious vulnerability in the machine's bootstrap loader. Amazing that these problems clearly identified in 1974 have never been addressed. Nobody I know of has ever suggested a method for detecting these exploits let alone preventing them. See  Nir Lichtman on Booting Linux Under GDB and Angelo Papenhoff on Plan9 . Subscribe to  Premature Abstraction . 

Scott Ritter interview with Jacques Baud

Image
It's really interesting. He worked for the UN in Sudan. Jacques Baud is contesting punitive EU sanctions for allegedly contributing to Russian misinformation campaigns. He can no longer travel or receive his pension, or income from any of his books. See  EU extends sanctions against Jacques Baud . He is trying to raise a legal fund to contest the sanctions  https://www.liberteexpression.ch/ . Subscribe to Scott Ritter . 
Image
 

The Flaming Lips Presents 'The Teardrop Throbs'

Image
The Flaming Lips. The Teardrop Throbs arrives everywhere on Friday, January 22, 2027. Coming soon: God Will Control the Werewolves .  Subscribe to The Flaming Lips out of Oklahoma . 

Tomas Petricek on his Book "Cultures of Programming"

Image
It looks really good. It's open access too. See  https://tomasp.net/cultures/  and he has an exhibition in Prague and is offering to tour with it too. 23:48 The Mathematical and Humanistic cultures he describes here are not rational, they are vegetative. See  Hope - It's not Just France and Italy, ...  and The Functional Craft of Programming on Being Intelligent About Stuff . This is just the 27 page introduction to the book that he talks about here, there is a lot more to come.   Subscribe to Tomas Petricek .

Glenn Diesen interview with Douglas Macgregor

Image
He is being intentionally inflammatory, and it's like a breath of fresh air after all the bullshit. See  Michael von der Schulenburg interviewed by Glenn Diesen . 6:42 His comments about Zelensky's physical security were a bit of an eye-opener for me.  My comment : 24:08 In France? I have no idea, but see my reply to this comment below for what they are in Spain. See Hope - It's not Just France and Italy, ... Subscribe to Glenn Diesen . 

Hope - It's not Just France and Italy, ...

Image
These seem like really intelligent people talking about intelligent responses to problems. I hope George Monbiot learns something from this, and people in Italy and Serbia .  This is the Real Spanish Revolution. The basis of any true Nation's wealth has to be its land, and that means the state of its land. So the basis for any national economy has to also be the state of that nation's land. 30:36 See https://puedeserlahostia.es/ . If you get these models working properly then you won't need the actual money to do the investments, because the models will be more authoritative than the financial markets. But to get that we have to first restore the understanding of actual human knowledge which has been perverted by modern "logic". See Searle on Consciousness . 43:37 See what Spain used to have in the practical reason department:  @eugeniomonesma-documentales . 1:41:08 On the difficulty of making and executing national plans and integrating local initiatives. Th...

The Functional Craft of Programming on Being Intelligent About Stuff

Image
My comment :  There is a lot you can do if you change the problem! Take social media platforms for example. You don't need to have some fixed notion of simultaneity in the sense of a total order that your platform preserves on message timestamps. If you model time as a partial order then you can have distributed systems which update asynchronously according connectivity and available bandwidth. If you are smart enough to be able to change your business models then you can produce adaptive distributed booking systems on a similar basis. Imagine an airline booking system that only scheduled flights and routes once it had enough committed bookings, and whose prices adapted according to the booking status and what people were prepared to pay. If we were really smart we would be able to manage entire global supply chains like this, right down to scheduling where to build railway lines and roads. Maybe the Chinese will help us do this? Ask Jeff! See  Richard Wolff interviewed by Afs...

Richard Wolff interviewed by Afshin Rattansi

Image
Professor Wolff is very consistent. He says pretty much the same stuff whoever interviews him and whatever they ask. 🤣 I'm so tired of hearing these people going on and on and never having any ideas about better ways to govern than the same bullshit that's got the world into this stupid fucking mess! Even Jeffrey Sachs is really just pushing the same tired cart of crap. If I paid Columbia University US$200 I could get a chance to ask him how he knows that we need the United Nations and the likes of  António Guterres before we start acting like intelligent human brings instead of a bunch of screaming fucking monkeys?  See  Macron Cancelled Public Demonstrations .  Subscribe to Going Underground . 

Polylog on The Busy Beaver

Image
The moral of the story is that you can define many more numbers than you could ever know, and that it might be a good idea to ask whether this sort of definition actually counts as a definition at all. Just because you can describe it does not mean that it necessarily exists. See  50 Years of the Roche Biochemical Pathways Poster  and  Gödel's FIT (1931) .  Scott Aaronson interview: Subscribe to Polylog and Polylog 2 .

Anton Petrov on Human Physiology

Image
See these publications: A potent physiological method to magnify and sustain soleus oxidative metabolism improves glucose and lipid regulation . The Efficacy of Soleus Push-Up in Individuals with Prediabetes: A Pilot Study Calf muscle pump function as a predictor of all-cause mortality Calf rEF: Impact of Calf Muscle Pump Dysfunction With Reduced Ejection Fraction on All-Cause Mortality The human lower leg muscle pump functions as a flow diverter pump, maintaining low ambulatory venous pressures during locomotion Subscribe to Anton Petrov .

Kim Iversen in Bolognia, Italy and Talking About Serbian Elections

Image
It seems like neither national media nor social media are capable of delivering any kind of accurate reporting. See Dimitri Lascaris' reporting from Lyon in  Macron Cancelled Public Demonstrations . 26:44 Interesting observation about demographics in France. These are the people who were born between 1966 and 1996! So their parents were demonstrating in 1968! See  Macron is a Penniless Bum . My comment : 26:44 Woah Kim, this seems really spot-on. It's in the UK as well, and probably everywhere in Europe. "Civilization" eating its own children. Amazing   Subscribe to Kim Iversen . Subscribe to France24 . Subscribe to Kim Iversen .

Michael von der Schulenburg interviewed by Glenn Diesen

Image
Von der Schulenberg was assistant Secretary General in the UN Department of Political and Peacebuilding Affairs. He's really impressive. He can even pity Zelensky: See  Jeffrey Sachs interviewed by Glenn Diesen on Ukraine . Subscribe to Glenn Diesen .  Steve Jermy is campaigning to stop UK funding and military of the Ukraine war. See  https://stevejermy.substack.com/p/petition-pause-british-military-support . Subscribe to Daniel Davis .  Jacques Baud has also been identified as a threat to the EU: Subscribe to Dialogue Works .

Toby on the Crazy Rorschach Test

Image
My comment :  Wow Toby! What a great video! 25:25 On the tortured souls of artists. It may not be so common these days, because there are a lot of artists who achieve some success in their own lives, and the art world is a whole scene, but I think a part of the torture might [be] the response of ordinary people to anybody who thinks too far out of the box. It seems to make people uncomfortable and the way they respond to that discomfort seems a lot like disdain. So I can imagine if someone takes art somewhere it has never been before then the result for them is a lot like social torture. Sartre's "Hell is other people."  See also  Angela Collier's Book Chat with Alan Melikdjanian . What a trip!  17:42 On human visual perception see my comment on Marr's algorithmic theory of visual perception in  John Searle's Chinese Room Argument .  Subscribe to Tibees  and  Mary McGillivray . Two [three!] Nick Cave songs came to mind while listening to that. I...

Macron Cancelled Public Demonstrations

Image
Subscribe to Teddy Lambec . See  Dimitri Lascaris is on his Way to France .  My comment : It's such a shame these protestors aren't switched on enough to organise artful protests like flash mob son et lumière shows and sing-songs that demonstrate solidarity but redefine the idea of protest. Subscribe to Reason2Resist with Dimitri Lascaris . See Sylvie and Bruno Vol 1 - Page 51 . See  Jean-Michel Jarre in Paris - 8me Arrondissement . Subscribe to Jean Michel Jarre . I just heard that there is a global governance meeting going on in China right now. Pity the Gillettes Jaunes can't attend that, ... See  Jeffrey Sachs interviewed by Glenn Diesen on Ukraine . Subscribe to Synthetic Sheaf Theoretic Governance . France has it all, so what's the problem? Macron is a Penniless Bum?   43:09  On Robinson's Joint Consistency Theorem failing in the case of more than two theories (the unnamed Robinson Joint Inconsistency Theorem?). This may be the underlying reason f...

Janet Akselrud Really Published A Book

Image
See  Janet Akselrud Published a Book . Subscribe to  Curious Wandering Souls . 

Jeffrey Sachs interviewed by Glenn Diesen on Ukraine

Image
See his essay  I Am A Defender of Ukraine . I hope David Gilmour reads this. The force behind this propaganda is directed at convincing people that the world will always need to be at war with bad people, so there will always need to be a massive military industrial complex and human reason is just impotent decoration for lies. See Russell's Advice for People in the year 2959 and  Gödel's FIT (1931) . Here's his interview from October 16: See also Jeffrey Sachs on NATO and The UN Security Council .  Subscribe to Glenn Diesen .  If we weren't governed by morons we would be able to design systems of governance that didn't have this inherent tendency to dissolve into despotic totalitarian bullshit: See  https://academyofideas.com/members/ . Subscribe to Academy of Ideas . Subscribe to Pink Floyd . Subscribe to David Gilmour . Jeffrey Sachs still teaches at Columbia: Enroll at https://plus.columbia.edu/content/ages-globalization . Subscribe to Jeffrey Sachs .

Gödel's FIT (1931)

Image
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 . It is this idea of Gödel's which is the origin of Church and Kleene's notion of realization.   

Myra West Doing "Not Doing Well" Really Well

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

Dimitri Lascaris is on his Way to France

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

Sheafification of G - On the Use Of Cack-eulators in Skool

Image
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...

Janet Akselrud Reading a Random Journal Entry

Image
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 .

Strange Kind of Women - Perfect Strangers

Image
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 .

Andy Pitts on Intensional Setoids

Image
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...

Macron is a Penniless Bum

Image
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 .

Russell's Advice for People in the year 2959

Image
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"    

Curious Marc Fixing HP Stuff

Image
What a great circuit that drives this thermal printer! Here's the Nixie Counter video: Subscribe to Curious Marc .

Submarine Arctic Ecosystems

Image
This is between two and three kilometres down in the Arctic ocean, ... Subscribe to Uppsala Universitet .

Pupina Plomer Entrevista con la Dra. Rocío Molar - ¿Qué hace REALMENTE una arqueóloga?

Image
38:41 See Pupina Plomer on the Children of Llullaillaco . Subscribe to Pupina Plomer . 

Anton Petrov on Human Population

Image
See Doomsday: Friday, 13 November, A.D. 2026. At this date human population will approach infinity if it grows as it has grown in the last two millenia by Heinz von Foerster, Patricia M. Mora and Larry Amiot. Subscribe to Anton Petrov .

John Searle - Syntax is Observer-Relative

Image
I was recently told that it's unreasonable to expect anybody to read more than 500 words on any subject. Is that true? I often read more than 500 words, especially of books. But if I have to explain what words like epistemology and ontology mean as well, then that doesn't leave many words left. The best part of this lecture of Searle's is at 23:24 . I get into detail, with some examples from the 80s explicitly citing Searle in this post:  John Searle's Chinese Room Argument . One way to save words is to leave it up to the reader to look things up themselves, but very often they don't do that, even when you provide links for them to click: I suppose that's because links just lead to more words! See Collaborative Mathematics . Subscribe to Philosophy Overdose . 

About Logic interview with Giovanni Sambin

Image
You can read notes on Martin-Löf's lecture given in Padua in 1980 here:  Giovanni Sambin's notes on Per Martin-Löf's Intuitionistic Type Theory . See Andy Pitts on Intensional Setoids  for more on Minimal Foundations.  My comment : 40:32 Thorsten "You only need the notion of a type... Then I can explain a proposition,..." I remember when you did that a few weeks ago , and you explained it, but did anybody actually understand your explanation? I know I didn't!  And a reply :  @CMDR_K3YN  The problem is more about how to interpret 'statements like "a predicate of booleans is a function from bool (Boole?) to prop" ' See also from 40:43 where it's a collection of all such functions. Then Giovanni says his his idea of foundations is from the ground up, starting with propositions and sets! I honestly don't know how anyone can have a sensible conversation on this basis! I thought the standard procedure was to establish a metalanguage fir...