Dear Dr. Vestergaard, I would like to suggest you to apply your approach to cancer cells, following Warburg’s theory. There are many controversies about Warburg’s point of view, but as far as I know, all the attempt of refutations were counterattacked by Warburg himself and by his followers.
Here is the main reference: Warburg, O. (1956). On the origin of cancer cells. Science, 123(3191), 309-314. https://www.jstor.org/stable/pdf/1750066.pdf?casa_token=LA_9haDJ8xsAAAAA:EBO2uCgdY7EJh3ZhkfmX7AtoYr_M5Xfv6lip-oX6I-TBG_6FsJrH5H1JWgbG-fgUKMZqI4L2R_piQ5qnGNTuXSaEbEZz-2cpiejJxhfux_1fXw49LSmp Sincerely yours, José Manuel Rodriguez Caballero El mar., 6 nov. 2018 a las 20:39, Rene Vestergaard (<renevesterga...@acm.org>) escribió: > "Proofs of life: molecular-biology reasoning simulates cell behaviors > from first principles" is now available at http://arxiv.org/abs/1811.02478 > > The work springs from computer-verified reasoning and establishes wider > utility by means of a reasoning-computation correspondence, including > for long-standing critical problems in biology that have defied standard > approaches. > > Sincerely, > Rene > > ----- > > ESSENCE > Mathematics-style correctness works for molecular biology and enables > phenotype and life-cycle prediction from genotypes. Formally, > reductionist science involves constructive reasoning, i.e., executable > simulation. > > SIGNIFICANCE > Axiomatic reasoning provides an alternative perspective that allows us > to address long-standing open problems in biology. Our approach is > supported by meta-theory and likely applies to any reductionist discipline. > > ABSTRACT > Science relies on external correctness: statistical analysis and > reproducibility, with ready applicability but inherent false > positives/negatives. Mathematics uses internal correctness: conclusions > must be established by detailed reasoning, with high confidence and deep > insights but not necessarily real-world significance. Here, we formalize > the molecular-biology reasoning style; establish that it constitutes an > executable first-principle theory of cell behaviors that admits > predictive technologies, with a range of correctness guarantees; and > show that we can fully account for the standard reference: Ptashne, A > Genetic Switch. Everything works for principled reasons and is presented > within an open-ended meta-theoretic framework that seemingly applies to > any reductionist discipline. The framework is adapted from a > century-long line of work on mathematical reasoning. The key step is to > not admit reasoning based on an external notion of truth but work only > with what can be justified from considered assumptions. For molecular > biology, the induced theory involves the concurrent running/interference > of molecule-coded elementary processes of physiology change over the > genome. The life cycle of the single-celled monograph organism is > predicted in molecular detail as the aggregate of the possible > sequentializations of the coded-for processes. The difficult question of > molecular coding, i.e., the specific means of gene regulation, is > addressed via a detailed modeling methodology. We establish a > complementary perspective on science, complete with a proven correctness > notion, and use it to make progress on long-standing and critical open > problems in biology. >
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
