Activity for xamidi
| Type | On... | Excerpt | Status | Date |
|---|---|---|---|---|
| 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) |
— | about 1 month ago |
| Edit | Post #290943 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291262 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291262 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291262 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291262 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291262 | Initial revision | — | about 1 month 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) |
— | about 1 month ago |
| Suggested Edit | Post #290943 |
Suggested edit: (more) |
helpful | about 1 month ago |
| Edit | Post #291261 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291261 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291261 | Initial revision | — | about 1 month 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) |
— | about 1 month 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) |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 |
Post edited: |
— | about 1 month ago |
| Edit | Post #291259 | Initial revision | — | about 1 month 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) |
— | about 1 month ago |