<html><head></head><body><div style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px;"><div style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px;"><div style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px;"><div id="ydp2d107015yiv9483542685"><div><div style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px;"><div style="font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:13px;"><div></div>
        <div><br clear="none"></div><div>Jose,</div><div><br></div><div>I am right now writing an expanded letter that is appropriate to your response.  I just wanted to state that I am extremely interested and willing to help in your endeavor.   </div><div><br></div><div>I was wondering if Isabelle HOL has ever been utilized to verify and validate theorems pertaining to fractional calculus or stochastic petri networks for Quantum Biology applications ??? </div><div><br></div><div><br></div><div>thanks,</div><div><br></div><div><br></div><div><br></div><div>David Blubaugh</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div>
        
        </div></div></div></div></div><div class="ydpaac66e37yiv9483542685yqt3634537434" id="ydpaac66e37yiv9483542685yqtfd17424"><div>
                    On Thursday, July 26, 2018, 6:37:30 AM EDT, José Manuel Rodriguez Caballero <josephcmac@gmail.com> wrote:
                </div>
                <div><br clear="none"></div>
                <div><br clear="none"></div>
                <div><div id="ydpaac66e37yiv9483542685"><div><div dir="ltr">Dear David Blubaugh,<div>  It is interesting that, some days ago, I had a similar idea with respect to <span style="font-size:small;background-color:rgb(255,255,255);text-decoration-color:initial;float:none;display:inline;">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. </span></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-color:initial;float:none;display:inline;"><br clear="none"></span></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-color:initial;float:none;display:inline;"> 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.</span></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-color:initial;float:none;display:inline;"><br clear="none"></span></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-color:initial;float:none;display:inline;">You could read my projet here: <a shape="rect" href="https://www.kickstarter.com/projects/1176467506/cancer-vs-mathematics" rel="nofollow" target="_blank">https://www.kickstarter.com/projects/1176467506/cancer-vs-mathematics</a></span></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-color:initial;float:none;display:inline;"><br clear="none"></span></div><div>Sincerely yours,</div><div>Jose M.</div><div class="ydpaac66e37yiv9483542685yqt0625701974" id="ydpaac66e37yiv9483542685yqtfd01889"><div><br clear="none"><div class="ydpaac66e37yiv9483542685gmail_extra"><br clear="none"><div class="ydpaac66e37yiv9483542685gmail_quote"><blockquote class="ydpaac66e37yiv9483542685gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex;">Message: 1<br clear="none">
Date: Thu, 26 Jul 2018 07:13:22 +0000 (UTC)<br clear="none">
From: David Blubaugh <<a shape="rect" href="mailto:davidblubaugh2000@yahoo.com" rel="nofollow" target="_blank">davidblubaugh2000@yahoo.com</a>><br clear="none">
To: "<a shape="rect" href="mailto:isabelle-dev@mailbroy.informatik.tu-muenchen.de" rel="nofollow" target="_blank">isabelle-dev@mailbroy. informatik.tu-muenchen.de</a>"<br clear="none">
        <<a shape="rect" href="mailto:isabelle-dev@mailbroy.informatik.tu-muenchen.de" rel="nofollow" target="_blank">isabelle-dev@mailbroy. informatik.tu-muenchen.de</a>>,<br clear="none">
        "<a shape="rect" href="mailto:isabelle-dev-request@mailbroy.informatik.tu-muenchen.de" rel="nofollow" target="_blank">isabelle-dev-request@ mailbroy.informatik.tu- muenchen.de</a>"<br clear="none">
        <<a shape="rect" href="mailto:isabelle-dev-request@mailbroy.informatik.tu-muenchen.de" rel="nofollow" target="_blank">isabelle-dev-request@ mailbroy.informatik.tu- muenchen.de</a>>,<br clear="none">
        "<a shape="rect" href="mailto:isabelle-dev-owner@mailbroy.informatik.tu-muenchen.de" rel="nofollow" target="_blank">isabelle-dev-owner@mailbroy. informatik.tu-muenchen.de</a>"<br clear="none">
        <<a shape="rect" href="mailto:isabelle-dev-owner@mailbroy.informatik.tu-muenchen.de" rel="nofollow" target="_blank">isabelle-dev-owner@mailbroy. informatik.tu-muenchen.de</a>>,<br clear="none">
        "<a shape="rect" href="mailto:isabelle-users@cl.cam.ac.uk" rel="nofollow" target="_blank">isabelle-users@cl.cam.ac.uk</a>" <<a shape="rect" href="mailto:isabelle-users@cl.cam.ac.uk" rel="nofollow" target="_blank">isabelle-users@cl.cam.ac.uk</a>><br clear="none">
Subject: [isabelle-dev] Kickstarter Campaign based on Isabelle HOL<br clear="none">
        Technologies<br clear="none">
Message-ID: <<a shape="rect" href="mailto:849313566.2576703.1532589202218@mail.yahoo.com" rel="nofollow" target="_blank">849313566.2576703. 1532589202218@mail.yahoo.com</a>><br clear="none">
Content-Type: text/plain; charset="utf-8"<br clear="none">
<br clear="none">
To All,??<br clear="none">
<br clear="none">
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.??<br clear="none">
<br clear="none">
Would anyone be interested in knowing more on this potential Kickstarter campaign ?????<br clear="none">
Thanks,<br clear="none">
<br clear="none">
David Blubaugh<br clear="none">
Isabelle HOL user since 2008.? ?<br clear="none"></blockquote></div></div></div></div></div></div></div></div>
            </div><div class="ydpaac66e37yiv9483542685yqt3634537434" id="ydpaac66e37yiv9483542685yqtfd69032">
        </div></div><div class="ydp2d107015yiv9483542685yahoo_quoted" id="ydp2d107015yiv9483542685yahoo_quoted_3565507191">
            <div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
                
                </div></div></div></body></html>