Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] "Proofs of life"

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] "Proofs of life"


Chronological Thread 
  • From: José Manuel Rodriguez Caballero <josephcmac AT gmail.com>
  • To: coq-club AT inria.fr
  • Cc: cl-isabelle-users AT lists.cam.ac.uk, fom AT cs.nyu.edu, hol-info AT lists.sourceforge.net, prooftheory AT lists.bath.ac.uk, types-announce AT lists.seas.upenn.edu
  • Subject: Re: [Coq-Club] "Proofs of life"
  • Date: Wed, 7 Nov 2018 15:55:34 -0500
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=josephcmac AT gmail.com; spf=Pass smtp.mailfrom=josephcmac AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f49.google.com
  • Ironport-phdr: 9a23:XK6u3hCDKFg52BZ66VxiUyQJP3N1i/DPJgcQr6AfoPdwSPT7ocbcNUDSrc9gkEXOFd2Cra4c1KyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoIODA5/2PXhMJ+j6xVvQyvqABkzoHOfI2YLuBzcr/Bcd4YQ2dKQ8ZfVzZGAoO5d4YBC+0BPf1CqIbloFUBtx2+BRSyC+Pr0jBGmnj20rAg0+QgHgHGwRIvHtMWv3nKttr6L70dUeSxzKbW1zXDaO5d1DD/6IjPaRAuv+mMXbJsfsrU00YgCxjIjlqVqYP/PjOV0v4BvHSc7+plTO+ijXMspQ92ojiq3Mgsi4/Ji5oPxVDe+iR5wZg1Kce/SE5hbt6oCJlQtzqGN4txWMMuWWZouDw1yrAApJW1fzAKxYw5yxLDb/GLaYuF7xL5WOqMIDp1hWhpdb27ihu07EOu0PfzVtOu31ZPtidFksfDtnQK1xHL78iIUPp9/kO41TaO0ADf9/hIIU47mKffMZIhzbkwlp0csUTHACD6gln5jKiTdkk8++io7froYqn+q5OCK4N5jhvyP6cul8ClHOg1MwkDU3KU9Om4zLHj+Ff2QLROjv04iKnZt5XaKNwZpq6+GA9azJ4j6xajADejytsXgWIKLF1AeB2djojpP0vCL+z/Dfe6m1isiitkx+jaPr39BZXANmTMkLD4fbpk90FczBczwstE6pJPCrABJerzVVXruNzZCB85KQ20zPz9BNVzzINNEV6IV6SeKebZtUKCzuMpOeiFIoEP6xjnLP1wxfn1DEgckFkAcK2e55wbcnG3A/l0FG6Qa3PohtobFi9evA0lQfTqg1iLWhZcYn+zW+Q34TRtW9HuNpvKWo342O/J5yy8BJADPjkXWGDJKm/hcsC/Y9lJbSuTJsF7lTldDOquToYg0VelswqokuM7fNqRwTURsNfY7PYw//fazEhg+jl9DsDb2GaIHTktwzE4AgQu1aU6mnRTj1eO1a8i3q5dHN1XovJOC0I0ac+awOt9BNT/HAnGe4XRRQ==

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.



Sincerely yours,
José Manuel Rodriguez Caballero

El mar., 6 nov. 2018 a las 20:39, Rene Vestergaard (<renevestergaard AT 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.



Archive powered by MHonArc 2.6.18.

Top of Page