Arend Heyting
Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. (Wikipedia).
.jpg?width=300)
Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. (Wikipedia).
Model Theory - part 04 - Posets, Lattices, Heyting Algebras, Booleans Algebras
This is a short video for people who haven't seen a Heyting algebras before. There is really nothing special in it that doesn't show up in wikipedia or ncatlab. I just wanted to review it before we use them. Errata: *at 3:35: there the law should read (a and (a or b) ), not (a and (a and
From playlist Model Theory
Albert Visser: The absorption law for slow provability
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: The absorption law for slow provability states that, if it is provable that A is slowly provable, then A is provable. We give a simple proof of the absorption law for a v
From playlist Workshop: "Proofs and Computation"
Francesco Ciraulo: Notions of Booleanization in pointfree Topology
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Boolean algebras play a key role in the foundations of classical mathematics. And a similar role is played by Heyting algebras for constructive mathematics. But this is
From playlist Workshop: "Constructive Mathematics"
Squashing theories into Heyting algebras
This is the first of two videos on Heyting algebra, Tarski-Lindenbaum and negation: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555 Followup video: https://youtu.be/ws6vCT7ExTY
From playlist Logic
Rik Arends: Beyond HTML and CSS: Fusing Javascript and shaders | JSConf EU 2014
What would the world look like when you can style UI with actual shader programs? The web could be 60fps on mobile, and we can start to imagine what lies beyond HTML and CSS In this talk i will present OneJS, an open source JS superset with shader GLSL and reactive programming syntax. One
From playlist JSConf EU 2014
tracegl is a new debugging tool from Rik Arends (of Cloud9 fame), captures the full state of your application at all function calls, and makes for an incredible powerfully debug and inspection tool.
From playlist JavaScript workflow
3 Myths of Genius Debunked | Tim Sanders | Big Think
3 Myths of Genius Debunked Watch the newest video from Big Think: https://bigth.ink/NewVideo Join Big Think+ for exclusive videos: https://bigthink.com/plus/ ---------------------------------------------------------------------------------- There are three specific myths that surround our
From playlist Best Videos | Big Think
Q&A #2: What is WEBGL in p5.js?
In this Q&A video, I give a quick overview of the WEBGL renderer in p5.js. Support this channel on Patreon: https://patreon.com/codingtrain Send me your questions and coding challenges!: https://github.com/CodingTrain/Rainbow-Topics Contact: https://twitter.com/shiffman Links discussed
From playlist Creative Coding Q&A
This is a follow up to https://youtu.be/lDhKE2SKF08. In this video we zoom in on Negation and also discuss models such as the 3-valued one for intuitionistic propositional logic. The script I'm using you can find here: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555
From playlist Logic
Arend Bayer: Birationl geometry of hyperkahler varieties
I will explain a description of the birational geometry of hyperkähler varieties deformation equivalent to Hilbert schemes of K3 surfaces. The description is based on using wall-crossing for the case of moduli spaces of sheaves on a K3 surface, and deformation theory for rational curves. T
From playlist HIM Lectures: Junior Trimester Program "Algebraic Geometry"
