Posts

Vladimir Voevodsky - What if Current Foundations of Mathematics are Inconsistent

Image
Talk given at the Institute of Advanced Studies at Princeton in 2010. It's good that some people were allowed to talk about this. See  About Logic Interview with Urs Schreiber  and in particular Lawvere's  Cohesive Toposes and Cantor's 'iaufcer Einsen' .  The answer is to use a plurality of formal systems and a plurality of formal translations between those systems. Then the provable sentences are not vulnerable to such accidental coincidences of interpretation which are constructed by diagonalisations such the Gödel sentences. This is just a greatest fixpoint. Unfortunately it depends upon mathematicians and logicians actually speaking to one another.  See  An Excellent Talk about Computability and Hilbert's Entscheidungsproblem .  Subscribe to  Institute of Advanced Studies .  Talk at the he IMU in September 2016, a year before he died.  "... it came out, as a result of practical work on formalization we just discovered that the law of...
Post a Comment
Read more

Amilcar Zenteno on Some of What's Happened in Bolivia Since the General Election Last Year

Image
It's a balanced summary of information and a lot better than most of the so-called reporting I've seen so far. Subscribe to  10Centavos . 
Post a Comment
Read more

OpenAI Announces Construction of New Datacenter on Top Of Sick Child

Image
I don't understand why they need to do this. Get it in-print:  https://membership.theonion.com/ . Subscribe to The Onion . 
Post a Comment
Read more

FUTO FUBS

Image
I think this is the first time they've actually publicly announced anything about this project. See these posts: Eron Woolf on Why Open Source is Failing Matt Mikhailov and Vincent McKibbon on The Problem with Open Hardware Jason Kridner talking About BeagleBoard.org and Software Development .  See these places:  https://danielc.dev/rk/ https://github.com/petabyt/rk https://github.com/futo-org/ret See also  https://pine64.org/devices/pinebook_pro/ . Subscribe to  FUTO .  See  https://github.com/nir9/low-level-learning-resources/tree/master/setups/debian . Subscribe to  Nir Lichtman .  If you're looking for a cool init process, try  https://ctx.graphics/terminal/ . See  Artful Bytes - When to Use a RTOS  and  How to Create a Successful Open Source Project . 
Post a Comment
Read more

Lee Felsenstein - Personal Computer History and its Future

Image
On Che Guevara's birthday. See  Sayaka's Digital Attic - Interview With Lee Felsenstein .  Subscribe to  Vintage Computer Federation . 
Post a Comment
Read more

About Logic Interview with Urs Schreiber

Image
See  Assumptions of Physics - Symplectic Group and Uncertainty .  Subscribe to  About Logic .  Lawvere on the Dialectic of the Continuous and Discrete. Talk given at Nancy, France 26-29 July 2011. See Lawvere's 1966  The Category of Categories as a Foundation for Mathematics .  See Lawvere's  Cohesive Toposes and Cantor's 'iaufcer Einsen'  ( cf.  my "vague inkling" about cardinality in Frederic Schuller on Metric and Topological Spaces ) and  cohesive topos in nlab .  16:57 On structures and cohesion, with Lie groups as an example. See Anthony Bordg and Nicolò Cavalleri  Elements of Differential Geometry in Lean .  1:03:12 On applications to dynamical theory. See  Toposes of laws of motion in nlab  and this transcript of a 1997 lecture given in Montreal. 1:08:54  He goes back to Frege and the idea, from correspondence with Peano, that certain minimal atomic subsets have properties completely independent o...
Post a Comment
Read more

Global Economic Shitfuckery

Image
It can't go on like this folks. It doesn't matter if you're American, Chinese, Russian, whatever, you cannot have responsible Government if it depends upon the same money that thieves pass around amongst themselves.   See  https://www.patreon.com/michaelhudson  and  https://www.patreon.com/cw/LenaPetrova . Subscribe to Lena Petrova . 
Post a Comment
Read more

Assumptions of Physics - Symplectic Group and Uncertainty

Image
This was on Saturday: see  Coordinate invariant measures/entropy . It's such a shame that the well-established experts can't talk about these things , because they're much more interesting than the stuff you read in textbooks. See  Frederic Schuller on Metric and Topological Spaces .  Subscribe to  Assumptions of Physics Research . See also  Entropy is not continuous in standard probability spaces .  Subscribe to Gabriele Carcassi . 
Post a Comment
Read more

Wi-Wi 900 MHz Radio-synced Oscillators

Image
They can do position measurements with millimetre accuracy. So you will soon have surveillance cameras that can recreate 3D representations. You will also have very good sound systems for public spaces. Subscribe to Leve l2 Jeff .
Post a Comment
Read more

Curious Marc at VCF Montreal

Image
See  Curious Marc - Apollo Comms . 1:25:00 Question about ISS frequencies: see  Curious Marc Fixing a US$33,000 HP 3GHz Signal Generator he Bought for US$150   Subscribe to Vintage Computer Federation .
Post a Comment
Read more