In a few months we will reach a level of 3D fidelity for BIM that will be scary good.
By just pointing your phone at your house to scan it, you'll get an editable copy of it.
“Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician.” -- Gottlob Frege
5 Most Influential Logicians In the History of Humankind ✍️
1) Aristotle
He is arguably the greatest logician and the most influential thinker of all time. He is considered the father of modern logic, and the founder of ethical reasoning. His logical deductions have been applicable throughout the generations and are still relevant to this day.
2) Kurt Gödel
Kurt Gödel, a very good friend of Einstein, is one of the most brilliant logicians of all time. His most notable work would undoubtedly be ‘Gödel’s incompleteness theorem.’ He is known for connecting classical logic, Intuitionistic logic, and Modal logic. He was one of the closest friends to Einstein and used to walk every day with him while being at the Institute of Advanced Study at Princeton.
3) Alfred Tarski
He is one of the greatest Polish mathematicians and logicians. He was born in 1901 in Warsaw, Poland. He is one of the quintessential influencers on theories of truth. To grasp his contribution, one must first have an idea of his core philosophy under the theory of truth, which is called “Convention T.” There are several questions that we could ask regarding the truth. And we could analyze whether the statement is true based on the correspondence we draw.
4) Bertrand Russell
Philosophy is popularized in western culture, specifically in the Anglosphere. He was also the co-author of Principia Mathematica. He was the one who systematically wrote down the history of western philosophy from the times of the pre-Socrates era.
5) Gottlob Frege
He could undoubtedly be regarded as the inventor of modern logic and the founder of analytic philosophy. He is also credited as the inventor of prepositional calculus (quantification logic). Before this, Aristotle’s categorical logic was popular among the community of critical thinkers. He is also the pioneer of the term “linguistic turn,” which is often used by philosophers in terms of the language that they use and to examine it.
@cremieuxrecueil@adam_dorr Such relentless optimism. GLP-1 and 2020s excess mortality of the fats rounded down the pct of obese around and you guys go "all humanity problems solved soon". I love it and hope you're correct. Go 🇺🇸!