Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »

Activity for xamidi‭

Type On... Excerpt Status Date
Comment Post #290765 @#36356 Technical remarks do not miss the point but are required to substantiate any philosophical view on a formal topic. In this case, I used technical arguments to show that certain philosophical standpoints are either (a) a mere lack of understanding in the subject, or (b) an intended mystificati...
(more)
5 months ago
Comment Post #290765 @#36356 My comments were neither philosophical, nor do they have anything to do with physics. Not sure where you see a connection to the multiverse theory. Logical systems, just like [formal systems](https://en.wikipedia.org/wiki/Formal_system) in general, are not per se related to physical objects.
(more)
5 months ago
Comment Post #290765 My point is that it is merely a matter of definition what we put in a set theory, so there cannot a "single true one", but there are infinitely many variations, each based on preference. But it also becomes messy when we need an infinite amount of axioms, since a proof can never be infinite, so it...
(more)
5 months ago
Comment Post #290765 As we know since [Gödel's incompleteness theorems](https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems), there can never be a "One True Set Theory", since such a system could not be both complete and consistent. So whenever there is an independent statement, we can decide whether we ...
(more)
8 months ago
Edit Post #290943 Post edited:
8 months ago
Edit Post #291262 Post edited:
8 months ago
Edit Post #291262 Post edited:
8 months ago
Edit Post #291262 Post edited:
8 months ago
Edit Post #291262 Post edited:
8 months ago
Edit Post #291262 Initial revision 8 months ago
Answer A: Defining Bayes’s theorem from scratch in ZFC
All of this has already been dealt with on Metamath, see mpeuni/bayesth or asrt/bayesth. At first, they had to decide on concrete formulations of ZFC axioms, which must be stated in a formal language. All referenced axioms (including definitions of, for example, the class of probability measures a...
(more)
8 months ago
Suggested Edit Post #290943 Suggested edit:

(more)
helpful 8 months ago
Edit Post #291261 Post edited:
8 months ago
Edit Post #291261 Post edited:
8 months ago
Edit Post #291261 Initial revision 8 months ago
Answer A: What is the significance of the K-axiom in modal logic S5?
Axioms exist to define proof systems, i.e. syntactical ways to derive theorems — in contrast to semantics, which concerns meaning. This is accomplished by combining axioms with (meta-logical) rules of inference in so-called proofs. > The middle implication arrow is meta-logical, isn’t it? No, i...
(more)
8 months ago
Comment Post #278382 This wouldn't be useless if this site was properly SEOed. I tried finding a Q&A site with "proof theory" in it. (After all, I did not find Codidact through search engines, but incidentally, also when searching internally, there are now only two results for `"proof theory"`. This thread, and the other...
(more)
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Post edited:
8 months ago
Edit Post #291259 Initial revision 8 months ago
Answer A: How can we grow this community?
You really need to step up your SEO game. I'd like to elaborate this from my own perspective, after how I just found this forum. Even though @ajekb78 essentially already made the same point, but it oddly gained no recognition. Up until an hour ago, I had no idea this site even existed. For a fe...
(more)
8 months ago