The Eternal Doorman

On Aristotelian physics, I was wondering about the last line of this Proposition: To set out the sides of the five figures and compare them with one another . Here Euclid proves that if a dodecahedron and an icosahedron are inscribed in the same sphere, then side of the icosahedron is greater than the side of the dodecahedron. One might think (because I did) that the icosahedron , having twenty faces, would have a greater volume than the dodecahedron inscribed in the same sphere, because the dodecahedron has only twelve faces and so should be a poorer approximation to a sphere as a result, but this intuition is false. One similarly might expect the sides of the icosahedron to be shorter than those of the dodecahedron for similar reasons, but neither is that true. However, the dodecahedron and icosahedron are dual each to the other, meaning that they each have the same number of edges, and if you swap faces with vertices you get the dual polyhedron. In both figures, opposite edges are ...

4:34 This is why it was so great. You could do animated graphics on a web page.  I was an early adopter of Java on Linux around 1995, ... After about six months of downloading and compiling libraries I finally got the runtime to run and got a wave from a coffee machine, and that was it, I'd had enough of that shit and I started using scheme with a GTK interface.  Subscribe to Java . Wait for the one starring Richard Stallman! Subscribe to Kai Lentit .

Subscribe to George Galloway . I'm not making fun of them. It really seems they have issues that they need to address! Subscribe to Kim Iversen .  See  Who Are You Calling A Fucking Nazi?!  as well as  DW Español and German Government on The Importance of Accurate Translation in Fact Checking  in particular the case of Reiner Fuellmich in  John Campbell on the effectiveness of PCR Tests for Covid-19 . Maybe it's some kind of collective psychological complex where they caught a glimpse of what led to the Third Reich, and some officials couldn't handle it. 

See  Small Fragment of the History of The Corporation of The City of London : Subscribe to Luke O'Sullivan . That sent me off thinking about triangles again, so I spent the whole evening talking to Google AI about Euclid and Aristotle. It told me Aristotle didn't refer to anything in Euclid's Elements because Aristotle died 20 years before Euclid wrote the Elements.  (See Andrei Rodin's letter in Support of Svetlana Mesyats  --- I hope she didn't spend too much of her grant money on AI chatbots!).  I made a video of the transcript but YouTube seems to have eaten it. Ah, no, it eventually showed up. I guess Google AI had to do character recognition to check that all this wasn't against community guidelines, ... Wow, that must have burned some GPU cycles, ... This is to do with the comment I made on  About Logic - Analytic and Synthetic Mathematics  on the connection between Euclid's Proposition 32 in Book 1 and the Parallel Postulate. Q. what is the final le...

This was in May 2015! Four years later he shows up again, completely misrepresenting Aristotle.  Why? Because what Aristotle wrote was that the same predicate could not be both asserted and denied of the same thing in the same sense at the same time. In ordinary propositional logic this is something like ¬(P∧¬P). That is not equivalent to the law of the excluded middle P∨¬P unless you use double-negation ¬¬P→P and de Morgan's law ¬(P∧Q)→(¬P∨¬Q), neither of which are intuitionistically valid. See weak excluded middle in nLab . You may now say that Aristotle wasn't an intuitionist, but Aristotle didn't do symbolic logic, so that is moot.  Wadler deserves everything he gets  (Feb 20, 2015) if you ask me!  Subscribe to Philip Wadler . It's all about judgement, this intuitionism. See  Ways to Do Telecommunications .  12:18 Teaching philosophy.  Subscribe to  Logic and Foundations of Mathematics .  See  More History of London . 

Released today. Get it at  https://ginwigmore.lnk.to/BMS . See her post  on YT and the playlist .  Rodeo Subscribe to Gin Wigmore . 

There are an amazing number of different ways to do telecommunications on Unix systems. I have just been looking at HTTP/HTTPS connections such as are used to transfer data between web browsers and web servers, but there are a lot of different ways that you can connect these things. Traditionally one uses C programs and the Unix libc system interface library, but as SSL/TLS is a complex protocol typically another library such as OpenSSL or LibreSSL is used for the secure layer. The C program approach is a little complicated because you need to write your programs in a certain way to be able to use the libc and SSL libraries effectively. But there are other ways to do much of what most people need using higher-level tools such as socat .  I got sidetracked, but it' still relevant: it's a talk by Professor Conor McHugh, given at the University of Southampton in 2015 as part of the Philosophy Café series. See also the Internet Encyclopedia of Philosophy entry on The Problem of th...

Yesterday while listening to Tim Maudlin:  Physics and Physical Phenomena  I was struck by his idea that ( 1:40:09 ) he found he could do a path-counting procedure on 2+1 dimensional spacetime and recover an invariant that appeared like a relativistic interval.  Google go to great lengths to prevent people from accessing the text of the transcripts: See On the Emergence of Both Relativistic Structure and a Global Foliation from Discrete Space-Time .  I wondered why this didn't automatically apply to 3+1 dimensional spacetime too. I guess because he imagines a pre-existing lattice of some kind and the combinatorics are unmanageable. My thought was that maybe something like this would work inside a procedure which was effectively a completion process on a measure space as well. This would not have occurred to Maudlin because he's a realist! See  David Albert Talking Complete Nonsense . I found the above ERC talk he did on 2022: Subscribe to  PROTEUS And here ...

I had in idea about this whilst listening to this interview with Bernhard Schröder and Bernhard Fisseni : See their Natural language Proof Checking project  https://naproche-net.github.io/ : The Naproche system is an implementation of the ideas developed by the Naproche project. It accepts a controlled but rich subset of ordinary mathematical language including TeX-style typeset formulas and transforms them into formal statements. Linguistic techniques are adapted to allow for common grammatical constructs and to extract mathematically relevant implicit information about hypotheses and conclusions. Finally, automated theorem provers are used to prove the correctness of the input text.   42:20  Listening to this discussion around creating shared facts by locutionary acts it occurred to me that in a sense the idea of frames is partly psycho-linguistic and partly social. So I started to wonder whether there were any ancient Greek words which were to do with the idea of sha...