Empirical math, or how experiments can increase our confidence in mathematical conclusions despite access to formal proofs

Earlier posts: Something about certainty, proofs in math, induction/abduction, Is the summed cubes equal to the squared sum of counting integer series? The things I’m going to say for math are equally true for logic, so whenever I write “math”, just mentally substitute to “math and logic”. Here I’m going to be talking about something…

Continue Reading

Review of Expert Political Judgement (Philip E. Tetlock)

[Philip_E._Tetlock]_Expert_Political_Judgment_How(Bookos.org) Very interesting book! —- Game Theorists. The rivalry between Sherlock Holmes and the evil genius Professor Moriarty illustrates how indeterminacy can arise as a natural by-product of rational agents second-guessing each other. When the two first met, Moriarty was eager, too eager, to display his capacity for interactive thinking by announcing: “All I have…

Continue Reading

Conversation with Miao about guidance, selection of students, epistemology of getting rid of bad meme complexes

[11:22:42] The Midget – Miao: Who the fuck is Isstsidwmnh? [11:23:09] The Midget – Miao: [05:52:19] Isstsidwmnh: We have no capacity to falsify the existence of reality. That does not mean we throw away reality. In fact… that means we embrace it! [05:52:32] Isstsidwmnh: If something is too obviously true, then my only criticism is…

Continue Reading

Something about certainty, proofs in math, induction/abduction

This conversation followed me posting the post just before, and several people bringing up the same proof. Aowpwtomsihermng = Afraid of what people will think of me, so i had Emil remove my name-guy [09:57:00] Emil – Deleet: mathbin.net/109013 [09:58:50] Aowpwtomsihermng: Your mates know their algebra. [10:00:09] Emil – Deleet: this guy is a mathematician…

Continue Reading