gentzen's latest activity
-
Ah yes, indeed thinking about it ¬P is defined as ¬P := P → ⊥ and any topological model/interpretation maps ⊥ to the empy set. Then, by...
-
gentzen replied to the thread Undergrad Value of intuitionistic logic.Yes!
-
gentzen replied to the thread Undergrad Value of intuitionistic logic.No, "semantics" just means "theory of meaning". Even so you could talk of "theories of meaning", there is no way to put "semantics" into...
-
gentzen reacted to Sambuco's post in the thread Graduate Understanding Barandes' microscopic theory of causality with
Like.
I interpreted that paragraph as the same concern I raised in post #63. The idea that the system can jump wildly from one configuration... -
gentzen reacted to jbergman's post in the thread Graduate Understanding Barandes' microscopic theory of causality with Like.
I have said similarly before. Barandes' formulation appears to not guarantee properties like continuity and localism.
-
gentzen replied to the thread Undergrad Value of intuitionistic logic.Independent of whether IPL is "supposed to model", it does model various specific "kind of world(s)". Or in other words, there are a...
-
gentzen replied to the thread Undergrad Question about discussions around quantum interpretations.How about Cournot’s principle? See here for some books, presentations, and articles where it is discussed:
-
gentzen reacted to iste's post in the thread Graduate Understanding Barandes' microscopic theory of causality with Like.
Aha, interesting. Seeing that post would have saved some time. I feel we have different interest. I am not sure I agree. I think...
-
gentzen reacted to Fra's post in the thread Undergrad Question about discussions around quantum interpretations with Like.
Yes, this is the basic message of when experiment and QM violates Bells inqeuality. Given some assumptions (that follow from a basic...
-
gentzen reacted to iste's post in the thread Graduate Understanding Barandes' microscopic theory of causality with Like.
I have some questions I wonder what you think. What is the ontological status of emergeables? Are they as real as the beables but just...
-
gentzen reacted to mitchell porter's post in the thread Undergrad Prof Mike Wiest's proposed link between quantum and consciousness with Like.
There is no consensus about how anything physical, classical or quantum, manages to relate to consciousness; and yet there needs to be...
-
gentzen replied to the thread Undergrad The wave equation interpretation of special relativity.A "good explanation" is what I mean by “mechanism”. Therefore, my question becomes whether the explanation from Mermin's chapter 9 is...
-
gentzen replied to the thread Undergrad The wave equation interpretation of special relativity.I "claimed" that the wave equation perspective is different from Lorentz Ether Theory (original post, before the edit). In the Lorentz...
-
gentzen replied to the thread Undergrad The wave equation interpretation of special relativity.It was not ment as a complaint, and especially the lengthy parts were not part of that reference to moderation actions. My physics...
-
gentzen replied to the thread Undergrad The wave equation interpretation of special relativity.The reference given in the original post (before the edit) was:
