Recent Posts
- Principles of biological computation: from circadian clock to evolution
- The science and engineering of biological computation: from process to software to DNA-based neural networks
- Elements of biological computation & stochastic thermodynamics of life
- Rationality, the Bayesian mind and their limits
- Web of C-lief: conjectures vs. model assumptions vs. scientific beliefs
- Idealization vs abstraction for mathematical models of evolution
- Allegory of the replication crisis in algorithmic trading
- 668,522 views
Join 2,752 other subscribers
Contributing authors
-
Abel Molina
-
Alexandru Strimbu
-
Alexander Yartsev
-
Eric Bolo
-
David Robert Grimes
-
Forrest Barnum
-
Jill Gallaher
-
Julian Xue
-
Artem Kaznatcheev
-
Keven Poulin
-
Marcel Montrey
-
Matthew Wicker
-
Dan Nichol
-
Philip Gerlee
-
Piotr MigdaĆ
-
Robert Vander Velde
-
Rob Noble
-
Sergio Graziosi
-
Max Hartshorn
-
Thomas Shultz
-
Vincent Cannataro
-
Yunjun Yang
Web of C-lief: conjectures vs. model assumptions vs. scientific beliefs
August 31, 2019 by Artem Kaznatcheev 2 Comments
A sketch of the theoretical computer science Web of C-lief weaved by the non-contradiction spider.
In this post, I want to play with Quine’s web of belief metaphor in the context of science. This will force us to restrict it to specific domains instead of the grand theory that Quine intended. From this, I can then adapt the metaphor from belief in science to c-liefs in mathematics. This will let me discuss how complexity class seperation conjectures are structured in theoretical computer science and why this is fundamentally different from model assumptions in natural science.
So let’s start with a return to the relevant philosophy.
Read more of this post
Filed under Commentary, Preliminary Tagged with cstheory, metamodeling, philosophy of math, philosophy of science