academic freedom Defending our Civilization Epistemology (the study of knowledge and its conditions) Logic and First Principles of right reason Mathematics

L&FP, 42a: The limit on Mathematical knowledge

Here, a video series explores Godel’s incompleteness results: The core point is that Hilbert’s scheme collapsed, nicely summarised. The Godel incompleteness results and the Turing machine halting challenge made Mathematics irreducibly complex. So, Mathematics, too, is a venture of knowledge as warranted, credibly true (so reliable) belief, which must be open to correction. An exercise Read More…

academic freedom agit-prop, opinion manipulation and well-poisoning games Astronomy Defending our Civilization Governance & control vs anarchy Mathematics

Then, they came for Sir Isaac . . .

Newton. The latest year zero reset target, as Telegraph reports: Sir Isaac Newton has been labelled as a potential beneficiary of “colonial-era activity” in draft plans to “decolonise” the engineering curriculum at Sheffield University. Students learning about the mathematician and scientist’s three laws of motion, the core of modern physics, could see changes in their Read More…

Defending our Civilization Logic and First Principles of right reason Mathematics Moving civilization forward

[L&FP 39:] Implication logic is pivotal to understanding how we think as duty-bound rational creatures

In recent months we have had several forum threads, which naturally tend to throw up onward topics worth headlining. Here, I will headline some observations on implication logic in deductive and in inductive reasoning. However, first, the core of the logic of implication. Algebraically, p => q is analysed as ~[p AND ~q]. Interpreted, for Read More…

Darwinism Intelligent Design Mathematics

Gregory Chaitin on true randomness

Chaitin: You see, with the normal coin tosses, actually every possible finite sequence of heads and tails in a sense is equally random, because they were all generated by tossing a fair coin. But some of them, all heads has a lot of structure, all tails have a lot of structure, alternating heads and tails have a lot of structure. I was looking at something that ignored how the sequence is generated and just looked at it and said, is there structure here or isn’t there?