I will shortly be attempting to reach a, for us, non-standard audience with a
project that includes the verification of the complete reasoning in a
molecular-biology monograph.
The primary sales argument is by proxy: there’s a Curry-Howard component to the
project that allows us to solve an ope
; paying attention to the new ideas which arise in the process and aiming only
> at obtaining the final result.
>
> Vladimir.
>
>
>
>
> On Feb 2, 2014, at 11:09 PM, Rene Vestergaard wrote:
>
>> I will shortly be attempting to reach a, for us, non-standard au
ourse also the recent $1B IBM is pumping into Watson:
> http://www.reuters.com/article/2014/01/09/us-ibm-watson-idUSBREA0808U20140109
>
> Josef
>
> On Mon, Feb 3, 2014 at 5:09 AM, Rene Vestergaard wrote:
>> I will shortly be attempting to reach a, for us, non-standard
"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 lon
I should have mentioned earlier that there's an accompanying video, with
proof visualization and more:
http://ceqea.sourceforge.net/extras/instructionalPoL.mp4
On 11/7/18 10:37 AM, Rene Vestergaard wrote:
"Proofs of life: molecular-biology reasoning simulates cell behav
On 11/7/18 10:37 AM, Rene Vestergaard wrote:
"Proofs of life: molecular-biology reasoning simulates cell behaviors
from first principles" is now at http://arxiv.org/abs/1811.02478
accompanying video, with proof visualization and more:
http://ceqea.sourceforge.