A Omniscience principle and generic convergent sequence

olliehaken
Messages
1
Reaction score
0
TL;DR
I need advice on an article

Thread 'Please Explain (actually explain) The Monty Hall Problem'

Hello, I'm joining this forum to ask two questions which have nagged me for some time. They both are presumed obvious, yet don't make sense to me. Nobody will explain their positions, which is...uh...aka science. I also have a thread for the other question. But this one involves probability, known as the Monty Hall Problem. Please see any number of YouTube videos on this for an explanation, I'll leave it to them to explain it. I question the predicate of all those who answer this...
View full post »

Thread 'Value of intuitionistic logic'

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
View full post »

Similar threads

I What Makes the Next Generation of Set Theory So Intriguing?
Replies
9
Views
2K
I Is There A Simple Dark Matter Solution Rooted In GR?
Replies
11
Views
3K
I Is there any interpretation of QM that doesn't clash with intuition?
Replies
35
Views
653
Programs How good is this applied math program?
Replies
13
Views
3K
What Are My Options for Pursuing Physics While Working Full Time?
Replies
12
Views
3K
Programs Math minor, double major, and elective classes advice
Replies
4
Views
3K
I Request for Input: 2D Minkowski Spacetime Diagram Generator
Replies
6
Views
2K
Redesigning Mathematics Curriculum, thoughts?
2
Replies
65
Views
10K
Meet a Mentor: Mark44 - Get to Know Your Wonderful Mentors
Replies
11
Views
6K
PF Fan Fiction: Mathematicians in Love
Replies
2
Views
4K