While I don't much care what Peirce would say, the idea that would be interesting would be the openness and *width* of the "trajectory" we're on. I.e. it's not so much a trajectory as a series of "light cones", or possibility cones. At each tick (discrete or continuous) that cone might be fat or skinny. Is the fatness of the sequence of cones monotonic? It's normal to think that it is. And not merely monotonic but decreasing, with the passage of each tick, our wiggle room is more restricted. But one of the arguments from normalizable models and progressive historicity is that "degrees of freedom" might "open up" after some collapse at some tick. I.e. the cone might be quite thin until some turn into a more connected region of the space, where it fattens up again. So, the interesting trajectory is kinda like a derivative of the trajectory.
On 10/14/20 9:23 AM, jon zingale wrote: > To speculate, I > suppose Peirce would say that the universe is all *seething dog vomit* with > but a few islands of temporally-local persistent patterns recognizable by > us. OTOH, we need not be concerned by every possible CA, just the trajectory > that we are on. -- ↙↙↙ uǝlƃ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/
uǝʃƃ ⊥ glen
|
In reply to this post by jon zingale
J.
Yes. Seething dog vomit! How could it be otherwise? Read the damned news, for god's sake! N. Nicholas Thompson Emeritus Professor of Ethology and Psychology Clark University [hidden email] https://wordpress.clarku.edu/nthompson/ -----Original Message----- From: Friam <[hidden email]> On Behalf Of jon zingale Sent: Wednesday, October 14, 2020 10:24 AM To: [hidden email] Subject: Re: [FRIAM] now it's personal *modernist trigger warning* Of those modernists, it was ironically the structuralists (IMO) that opened this door that cannot be closed. Arguably, postmodernism (in particular Derrida) became a scapegoat for what Godel had already established 30 years earlier. The struggle mirrors only too well the immediate reactions of those mathematicians entrenched in Hilbert's dream. To this day, many in the mathematics community avoid a direct gaze and hold the belief that there is nothing to see there. Of course, I always wonder where Nick or EricC might stand with respect to CA and modernism. Every open sub-object, a glider or a metabolic system, is entailed by the CA and not the reverse. To speculate, I suppose Peirce would say that the universe is all *seething dog vomit* with but a few islands of temporally-local persistent patterns recognizable by us. OTOH, we need not be concerned by every possible CA, just the trajectory that we are on. -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
In reply to this post by gepr
Hmm, back down the comonad development path for me, where CA, linear logic,
convolutions, and modal possibility seem to find their meet. However now, with the additional sheaf-theoretic motivation that the *widths* of trajectories vary like dimension along fibers. -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
Oh, I love it when you guys talk dirty.
n Nicholas Thompson Emeritus Professor of Ethology and Psychology Clark University [hidden email] https://wordpress.clarku.edu/nthompson/ -----Original Message----- From: Friam <[hidden email]> On Behalf Of jon zingale Sent: Wednesday, October 14, 2020 1:37 PM To: [hidden email] Subject: Re: [FRIAM] now it's personal Hmm, back down the comonad development path for me, where CA, linear logic, convolutions, and modal possibility seem to find their meet. However now, with the additional sheaf-theoretic motivation that the *widths* of trajectories vary like dimension along fibers. -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
In reply to this post by jon zingale
*across fibers
-- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
In reply to this post by thompnickson2
Yeah, now if we can pull JohnK away from doing real mathematics long enough
write about Isbell Duality[!], then we will have a serious party :) [!] https://ncatlab.org/nlab/show/Isbell+duality#related_concepts -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
In reply to this post by jon zingale
liked the derivative of a TM paper, but I dare not look at it now. :-)
-----Original Message----- From: Friam <[hidden email]> On Behalf Of jon zingale Sent: Wednesday, October 14, 2020 12:37 PM To: [hidden email] Subject: Re: [FRIAM] now it's personal Hmm, back down the comonad development path for me, where CA, linear logic, convolutions, and modal possibility seem to find their meet. However now, with the additional sheaf-theoretic motivation that the *widths* of trajectories vary like dimension along fibers. -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
What's the function associated with it? Words like derivative, differential, directional derivative etc. mean so mething to me. --- Frank C. Wimberly 140 Calle Ojo Feliz, Santa Fe, NM 87505 505 670-9918 Santa Fe, NM On Wed, Oct 14, 2020, 3:11 PM Marcus Daniels <[hidden email]> wrote: liked the derivative of a TM paper, but I dare not look at it now. :-) - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
"What's the function associated with it? Words like derivative,
differential, directional derivative, etc. mean something to me." Let me attempt a brief and likely rough answer. Terms from lambda calculus correspond to algorithms. There is a model of lambda calculus (as-well-as full linear logic) where types are interpreted as vector spaces over algebraically closed fields and the terms as power series on these spaces. In these models all functions are differentiable and a paper by Ehrhard and Regnier gives this derivative. Clift and Murfet then go on to flesh out (and coin) "Sweedler semantics" for this differential linear logic, named after the mathematician who studied these structures in the domain of Hopf algebras. In light of the recent discussions regarding maximally stateful and purely functional computation, this work is interesting exactly because of the differences which exist between theories of lambda calculi and Turing machines. While they both specify the same class of functions (Church-Turing), the former knows nothing of intensionality (time or space complexity, say). Clift and Murfet then follow the Church-Turing correspondence, using linear logic as the bridge, to show how differentiation of programs manifests in the real application of program synthesis, training neural nets for example. -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
Thank you, Jon. I'll have to ponder that but I probably won't have time to grok it. --- Frank C. Wimberly 140 Calle Ojo Feliz, Santa Fe, NM 87505 505 670-9918 Santa Fe, NM On Thu, Oct 15, 2020, 11:20 AM jon zingale <[hidden email]> wrote: "What's the function associated with it? Words like derivative, - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
In reply to this post by Russ Abbott
A lot of current attitudes (in the legal profession) about the proper role of SCOTUSwas shaped by the backlash against Roe vs. Wade. If you go back to that point in history, the push to make abortion legal had a huge amount of momentum, and many states had passed their own laws ensuring abortion was legal. There was every expectation that within a few years, almost every state would have passed similar laws, through the "natural" "democratic" process. When SCOTUS stepped in with its ruling, the idea that THAT was not a decision for the courts to make became a galvanizing issue, and seemed to dramatically increase public anti-abortion sentiment. It is widely believed that abortion rights would be more widely accepted today if the process had been allowed to proceed without judicial interference. Plus it made SCOTUS seem "political" in ways many didn't think was helpful. There was a lot of discussion about this while SCOTUS was deciding whether or not to hear same-sex marriage cases, for example. "Given that more and more states were passing same-sex marriage laws every year, why not just sit back and let the issue resolve itself legislatively?", some argued, "You don't want to risk the backlash that happened with abortion!" Regarding the Constitution... We stuck in the last 12 words of Article III, section 2, 2nd paragraph:
The language of the section in question is pretty darn general, but it's never been tested. As I read it, I imagine the founders were thinking of exceptions to broad classes of action, not the review of particular laws. For example, if Congress decided that SCOTUS could not review grazing-permit disputes between private citizens and the federal government, that might make sense.
A law would be written that empowered the holder of a particular federal job to be a final arbiter regarding the granting of permits, and that individual's decisions would not be up for judicial review. Or, for example, if military court marshals were not up for judicial review (though could still be over-ridden by the President - as Commander in Chief) that could make sense. In contrast, it would be weird to try to argue that SCOTUS couldn't review a law broadening the scope of warrantless house-raids to determine whether said law violated constitutional privacy protections. If such efforts ever became a big deal, presumably the issue would go before the courts. At that point, we would have the awkward situation of trying to determine whether SCOTUS has the constitutional power to determine the constitutionality of a law that restricted SCOTUS's powers to review the constitutionality of other laws. Ack! ----------- Eric P. Charles, Ph.D. Department of Justice - Personnel Psychologist American University - Adjunct Instructor On Wed, Oct 14, 2020 at 12:09 AM Russ Abbott <[hidden email]> wrote:
- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ |
Free forum by Nabble | Edit this page |