Showing results for title "Truth" in Mathematics

Are the secrets of the universe written in words - or is it all about the digits? K. C. Cole follows up her paean to the power of physics, Sympathetic Vibrations, with this engaging and accessible guide to the might and majesty of mathematics. The Universe and the Teacup uses relatable examples and humorous prose to demonstrate math's ability to "translate the complexity of the world into manageable patterns".

Wry, witty and humane, Goodwin explains mathematical subtleties so painlessly that you hardly need to think about numbers at all. He demonstrates how statistics that are meant to make life simpler often make it simpler than it actually is, but also reveals some of the ways we can use maths to make better decisions. Along the way we learn about fitness tracking, the history of IQ testing, China's social credit system, Effective Altruism, and how someone should have noticed that Harold Shipman was killing his patients years before they actually did.

It is explained what it is for a statement to be logically true and it is thereby explained what it is for a statement to be formally true. It is also explained how logical truth differs from formal truth. Further, it is explained what a system of logic is. Finally, the nature of entailment is explained and, in particular, it is explained how formal entailment differs from analytic entailment.