Thomas Kern on String Logics

I thought his videos were uncommonly good, and it it turns out he did a PhD in algebraic automata theory or something.


My comment:

53:12 This is all new to me. I only heard about algebraic automata theory a month or two ago! But I did hear a notable clip of Hilary Putnam talking about Turing machines having a normal form, which I wasn't aware of. Actually, I am not sure I know what "a normal form" means, but I imagine he was referring to the idea that no matter how many tapes, or how many symbols, or how many state transition tables you have, you can formulate any machine in some arbitrarily chosen "canonical" form, say two symbol alphabet and one infinite tape and one state transition table. I'll try find the clip and post it as a response to this comment, but YouTube will probably delete it, because YouTube is not meant to be used for people to actually communicate ideas or anything, it is meant to make people watch ads.

Subscribe to Thomas Kern. 

5:25 On functional isomorphism and Turing machine normal forms. 

Emil Post thought that this process was something one should take as a working hypothesis and that the series of formulations of effective methods should be continually tested by producing reductive proofs to the canonical formulation. See Collaborative Mathematics. See also Samson Abramsky on the Robinson Joint Inconsistency Theorem in Macron Cancelled Public Demonstrations. 

Subscribe to Philosophy Overdose.

About Logic interview with Ulrik Buchholtz

46:26 Thorsten seems to know what formal logic is, ... but he's talking here about some sort of model I think. nothing anyone says on here is very clear at all.

Subscribe to About Logic. 

Comments

Post a Comment

Popular posts from this blog

John Searle's Chinese Room Argument

Image
He's fed up with talking about this. I used to have a copy of the little book he wrote called Minds, Brains & Science. Apparently the AI at Google has read it too and gets it completely: How does stuff like this happen? Most people won't even notice what I'm saying even if I point out that the Google search changed the title. The book was really called Minds, Brains & Science , not Minds, Brains & Programs . (But maybe that was a later edition or something?) I asked Google and it said: John Searle's book Minds, Brains and Science did not become "Minds, Brains & Programs"—rather, they are two separate, distinct works published a few years apart: "Minds, Brains, and Programs" (1980): A landmark academic paper published in the journal Behavioral and Brain Sciences. This is where Searle first introduced his famous Chinese Room Argument to challenge the concept of "strong AI". "Minds, Brains and Science" (1984): A shor...
Read more

Tensor Fields and Simplicial Complexes

Image
Listening to Freya Holmér last night I started to get glimmers of an idea I had long ago about how to represent vector spaces in computational processes using this recursive abstract type :  abstype 'a point = POINT   of {getx :  'a vector,       diff :  'a point -> 'a point,       move :  'a point -> 'a point,       scale : 'a -> 'a point,       proj :  'a point -> 'a} with    fun new i (op +) (op -) (op * ) dot =    let fun self x =  POINT       {getx = x,        move = fn (POINT pr) =>           (self (x + (#getx pr))),        diff = fn (POINT pr) =>          self (x - (#getx pr)),        scale = fn i =>          (self (x * i)),        proj = fn (POINT pr) =>     ...
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 . 
Read more