Quantum Woo Again
Locked
 
|
Causation and quantum mechanics. A challenge to physicists and philosophers. I apologize if someone already referenced this.
https://www.academia.edu/37610082/Causation_and_Quantum_Mechanics?email_work_card=title Frank Wimberly 140 Calle Ojo Feliz Santa Fe, NM 87505 505 670-9918 - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . 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/ |
|
Sarah dared me to google any connection between Heidegger and Hilbert's
Nullstellensatz. I ran across this researcher's presentation on the dynamics of duality: http://www2.kobe-u.ac.jp/~mkikuchi/mla2016maruyama.pdf stalking the author a bit further, it looks like he would be great to have as a vFriam guest some Friday. He could talk to us about current research on topos theory in quantum mechanics. Here are some paper titles of his that I thought might pique interest, as many topics tangent to these have manifested on the list recently: - Compositionality and Contextuality: The Symbolic and Statistical Theories of Meaning - The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness. - Quantum Pancomputationalism and Statistical Data Science: From Symbolic to Statistical AI, and to Quantum AI. - Meaning and duality : from categorical logic to quantum physics - Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures. - Dualities for Algebras of Fitting's Many-Valued Modal Logics. - Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. - AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited. The papers can be found here: https://dblp.uni-trier.de/pers/m/Maruyama:Yoshihiro.html -- 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/ |
|
Awesome! I think I'm in love with this dude. You left out the important paper:
Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism https://philpapers.org/rec/MARPTN On 8/9/20 11:51 AM, jon zingale wrote: > Sarah dared me to google any connection between Heidegger and Hilbert's > Nullstellensatz. I ran across this researcher's presentation on the dynamics > of duality: > http://www2.kobe-u.ac.jp/~mkikuchi/mla2016maruyama.pdf > > stalking the author a bit further, it looks like he would be great to have > as a vFriam guest some Friday. He could talk to us about current research on > topos theory in quantum mechanics. Here are some paper titles of his that I > thought might pique interest, as many topics tangent to these have > manifested on the list recently: > > - Compositionality and Contextuality: The Symbolic and Statistical Theories > of Meaning > - The Conditions of Artificial General Intelligence: Logic, Autonomy, > Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness. > - Quantum Pancomputationalism and Statistical Data Science: From Symbolic to > Statistical AI, and to Quantum AI. > - Meaning and duality : from categorical logic to quantum physics > - Duality Theory and Categorical Universal Logic: With Emphasis on Quantum > Structures. > - Dualities for Algebras of Fitting's Many-Valued Modal Logics. > - Reasoning about Fuzzy Belief and Common Belief: With Emphasis on > Incomparable Beliefs. > - AI, Quantum Information, and External Semantic Realism: Searle's > Observer-Relativity and Chinese Room, Revisited. > > The papers can be found here: > https://dblp.uni-trier.de/pers/m/Maruyama:Yoshihiro.html -- ↙↙↙ 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
I ran into Stuart K at MVD at a time reserved for old folks today. He asked about Friam. I told him we've continued to meet using Zoom. He asked me to send him the link so I complied. Knowing him pretty well, I would say he may or may not attend. I hope he does. Frank --- Frank C. Wimberly 140 Calle Ojo Feliz, Santa Fe, NM 87505 505 670-9918 Santa Fe, NM On Sun, Aug 9, 2020, 12:51 PM jon zingale <[hidden email]> wrote: Sarah dared me to google any connection between Heidegger and Hilbert's - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . 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/ |
|
|
p.s. my friend and former colleague Takeo Kanade is a very esteemed professor at Kyoto University and Carnegie Mellon. He is bound to know Maruyama. --- Frank C. Wimberly 140 Calle Ojo Feliz, Santa Fe, NM 87505 505 670-9918 Santa Fe, NM On Tue, Aug 11, 2020, 4:36 PM Frank Wimberly <[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/ |
|
|
In reply to this post by Frank Wimberly-2
As in Stuart Kauffman? On Tue, Aug 11, 2020 at 5:37 PM Frank Wimberly <[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/ |
|
|
Yes. Sorry. I thought it was inferrable with high confidence. --- Frank C. Wimberly 140 Calle Ojo Feliz, Santa Fe, NM 87505 505 670-9918 Santa Fe, NM On Tue, Aug 11, 2020, 4:56 PM Gary Schiltz <[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/ |
|
|
This post was updated on .
In reply to this post by gepr
Ha, right!? I feel very fortunate for this Sarah-dipity (and the path
dependence of grooming one's Google). Thanks for pointing to this paper, I was not familiar with Prior's tonk or the failings of local reduction (normalization). Now I am now enjoying the rabbit hole :) Somewhere down the rabbit hole, I find: https://web.archive.org/web/20120514090806/http://www.logicandlanguage.net/archives/2005/03/tonk_and_local_1.html -- 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/ |
|
|
"'Tonk' is a very exciting and powerful connective" ROFL!
I wish I'd had this quote from Maruyama's paper in hand last Friday: "(intensional differences between extensionally equivalent programs do matter in computer science)". Actually made me look up the cut-elimination proof up in Kleene: "Theorem 48. Given a proof in G1 {in G2) of a sequent in which no variable occurs both free and bound, another proof in G1 (in G2) of the same sequent can be found which contains no cut (no mix). This proof is a pure variable proof. The only logical rules applied in it are ones which were applied in the given proof. (Gentzen's Hauptsatz or normal form theorem, 1934-5·) Proof, reducing the theorem to a lemma. By Lemmas 34, 37 and 38, it suffices to prove the theorem for G2 assuming the given proof already to have the pure variable property. We do so by induction on the number m of mixes in this 'given proof'. If m > 0, there must occur in it a mix which has no other mix over it. Consider the part of the given proof which terminates with the conclusion Π, Σ_Μ→Φ_Μ, Ω of this mix; call it the 'given part'. Suppose that we can transform this given part so as to obtain another proof in G2 of Π, Σ_Μ→Φ_Μ, Ω without mix; call it the 'resulting part'. Then the replacement of the given part by the resulting part in the given proof gives us a new proof in G2 of the same sequent with only m—1 mixes. Suppose further that the resulting part can be constructed so that it has the pure variable property by itself, and also contains no variable free (bound; as the b of an →∀ or ∃→) that did not so occur in the given part. Then the new proof as a whole will have the pure variable property. Hence we can apply the hypothesis of the induction to conclude that there is a pure variable proof with no mix. To prove the theorem it thus remains to establish the following lemma. Lemma 39. Given a proof in G2 of Π, Σ_M —> ΦΜ, Ω with a mix as the final step, and no other mix, and with the pure variable property, a proof in G2 of Π, Σ_Μ —> ΦΜ, Ω can be found with no mix, with the pure variable property, and with no variable occurring free {bound; as the b of an →∀ or ∃→) which did not so occur in the given proof. Only logical rules are applied in the resulting proof which are applied in the given proof. (Principal lemma.) Proof of the principal lemma. We define the left rank a of a mix as the greatest number of sequents, located consecutively one above another at the bottom of any branch terminating with the left premise of the mix, which contain the mix formula Μ in the succedent. The right rank b is defined similarly. The rank r = a+b. (The least possible rank is 2.) The grade g of the mix is the number (≥ 0) of occurrences of logical symbols (⊃, &, V, ¬, ∀, ∃) in the mix formula M." On 8/11/20 5:04 PM, jon zingale wrote: > Ha, right!? I feel very fortunate for this Sarah-dipity (and the path > dependence of grooming one's Google). Thanks for pointing to this paper, > I was not familiar with Prior's tonk or the failings of local reduction. > Now I am now enjoying the rabbit hole :) > > Somewhere down the rabbit hole, I find: > https://web.archive.org/web/20120514090806/http://www.logicandlanguage.net/archives/2005/03/tonk_and_local_1.html -- ↙↙↙ 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
|
|
|
This post was updated on .
> I wish I'd had this quote from Maruyama's paper in hand last Friday:
"(intensional differences between extensionally equivalent programs do matter in computer science)". "I think that bubble sort would be the wrong way to go" - Obama https://www.youtube.com/watch?v=k4RRi_ntQc8 Did you find a paywall free version of the Maruyama paper? I would like to check it out. -- 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/ |
|
|
I haven't read it, yet. But the abstract for this paper looks interesting (which I found from your archived link to logicandlanguage.net [⛧]):
Non-deterministic Multiple-valued Structures Arnon Avron, Iddo Lev https://academic.oup.com/logcom/article-abstract/15/3/241/1069654 I recognize Avron from his work on paraconsistency and predicativism. But this idea of non-deterministic matrices is (embarrassingly) new to me. [⛧] If you find out who she is, please let me know. Since #shutdownstem, I've made it a back-burner task to track and promote the contributions of women to ... well anything I care about. [⛧]² [⛤]² [⛧]² I no longer have to vote for Biden! Now I can vote for Harris, who was my 2nd choice behind Warren from the start. [⛤]² Yes, I know #shutdownstem was re: systemic racism. But it's difficult for me to justify an artificial discretization of marginalized populations, in general. And seeing the blatant, systemic, sexism in helping Renee' buy her former house in Oregon makes that issue more concrete to me. [⛧]³ [⛧]³ I still haven't found a definition of "concrete" that I think would have satisfied Nick. But I'll keep looking. [⛧]⁴ [⛧]⁴ Let's see if I can push SteveS into *not* liking endnotes. >8^D I probably could have read that paper in the time it took me to get my higher-order endnotes arranged. On 8/12/20 8:51 AM, jon zingale wrote: >> I wish I'd had this quote from Maruyama's paper in hand last Friday: > "(intensional differences between extensionally equivalent programs do > matter in computer science)". > > "I think that bubble sort would be the wrong way to go" - Obama > https://www.youtube.com/watch?v=k4RRi_ntQc8 > > Do you find a paywall free version of the Maruyama paper? I would like to > check it out. -- ↙↙↙ 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
Cool, I suppose that it makes good enough sense to interpret *tonk* through
the lens of an Abelian category. It is where my intuition goes as well, Gentzen gives the introduction rules as the unit to some adjunction and the elimination rules as the counit to some adjunction. Tonk-like connectives are exactly zero objects in that we get universal arrows to and from them, like zeros in homology. I will have to read further to see what the parallels are to the more traditional Abelian categories like homological algebra. Do we learn something by studying short exact sequences of deductions, beginning and ending with *tonk*? -- 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 gepr
It's got to be Gillian Russell: https://philpeople.org/profiles/gillian-kay-russell
On 8/12/20 10:30 AM, uǝlƃ ↙↙↙ wrote: > [⛧] If you find out who she is, please let me know. Since #shutdownstem, I've made it a back-burner task to track and promote the contributions of women to ... well anything I care about. -- ↙↙↙ 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
|
|
|
Maybe Kirsten Wickelgren could be included in your program?
Integrability Result for 𝔸^1-Euler Numbers https://www.youtube.com/watch?v=weh-voz-92U -- 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/ |
«
Return to Friam
|
1 view|%1 views
| Free forum by Nabble | Edit this page |