[isabelle-dev] isabelle-dev Digest, Vol 134, Issue 14
José Manuel Rodriguez Caballero
josephcmac at gmail.com
Thu Jul 26 12:37:29 CEST 2018
Dear David Blubaugh,
It is interesting that, some days ago, I had a similar idea with respect
to Kickstarter and Isabelle, but by motivation comes from medicine. My
project was to write a paper and some thy files in order to decide if a
given sample of adenosine triphosphate is generated by respiration (a
normal cell) or by fermentation (a cancer cell). The thy files will be the
reward for people donating 1000 Canadian dollars. There are several
mathematical ways to study the structure of a molecule: moduli spaces,
knots, fractals, etc.
Even if this project may not attend his funding, it will be interesting at
least as a social experiment. I hope that it will popularize a little bit
Otto Warburg's theory about the origin of cancer cells, which is
controversial, but it has not been refuted yet.
You could read my projet here:
> Date: Thu, 26 Jul 2018 07:13:22 +0000 (UTC)
> From: David Blubaugh <davidblubaugh2000 at yahoo.com>
> To: "isabelle-dev at mailbroy.informatik.tu-muenchen.de"
> <isabelle-dev at mailbroy.informatik.tu-muenchen.de>,
> "isabelle-dev-request at mailbroy.informatik.tu-muenchen.de"
> <isabelle-dev-request at mailbroy.informatik.tu-muenchen.de>,
> "isabelle-dev-owner at mailbroy.informatik.tu-muenchen.de"
> <isabelle-dev-owner at mailbroy.informatik.tu-muenchen.de>,
> "isabelle-users at cl.cam.ac.uk" <isabelle-users at cl.cam.ac.uk>
> Subject: [isabelle-dev] Kickstarter Campaign based on Isabelle HOL
> Message-ID: <849313566.2576703.1532589202218 at mail.yahoo.com>
> Content-Type: text/plain; charset="utf-8"
> To All,??
> I am currently a developer and user of Isabelle HOL technologies and I am
> currently in the process of developing a Kickstarter campaign based on the
> use of Isabelle HOL being used in the creation of a specific software
> application for use within mobile devices.??
> Would anyone be interested in knowing more on this potential Kickstarter
> campaign ?????
> David Blubaugh
> Isabelle HOL user since 2008.? ?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev