Ivan Reese
Jimmy Miller
Ivan Reese
Arcade Wise
11/19/2023, 7:34 PMCsongor Bartus
11/20/2023, 8:05 AMFreeMasen
11/22/2023, 6:26 PMPersonal Dynamic Media
11/26/2023, 9:47 AMIvan Reese
Jimmy Miller
Ivan Reese
Ivan Reese
Personal Dynamic Media
11/27/2023, 2:10 AMJimmy Miller
Jimmy Miller
Personal Dynamic Media
11/27/2023, 2:16 AMJimmy Miller
Personal Dynamic Media
11/27/2023, 2:24 AMJimmy Miller
What other things might disjunction correspond to elsewhere, say in physics or geometry, and how do we prove that?I don't understand the physics part. Physics just uses math. As for geometry, there are a bunch of complicated stuff like homotopy type theory that deal with that kind of thing. But as you mentioned in the episode, there are unions and intersections which are sums and products in the same way disjunction and conjunction are.
Ivan Reese
Jimmy Miller
Ivan Reese
shalabh
12/03/2023, 2:09 AMshalabh
12/03/2023, 8:39 AMshalabh
12/03/2023, 8:40 AMWe can summarize the two positions in the following way: The TOP people say, “computations are programs, and programs are mathematical objects whose structure is captured by their types; the two models of computations are equivalent when asked to represent first-order functions, but diverge when asked to represent higher-order functions”. The TOC response is, put simply, “what the hell is a function?” Just as a falling apple doesn’t compute integrals — it just falls — so too Turing machines and any other machine model compute neither higher-order nor first-order functions; they compute bits. What imaginary mathematical concepts we then choose to describe those computations is a different matter altogether, one that does not affect the nature of the computation just as calculus has had no impact on the behavior of falling apples.I’m definitely in team computation.
Marcel Weiher
12/03/2023, 9:31 AM