<div dir="ltr">Yılmaz Hocam,<div><br><div>Halil İbrahim Karakaş Hocamız ile bir akrabalık bağım yok. Tek ortak noktamız ikimizin de ODTÜ'lü olması.</div></div><div><br></div><div>saygılarımla,</div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-10-19 12:46 GMT+03:00 yilmaz akyildiz <span dir="ltr"><<a href="mailto:yilmaz.akyildiz@listweb.bilkent.edu.tr" target="_blank">yilmaz.akyildiz@listweb.bilkent.edu.tr</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:small"><div class="gmail_default" style="display:inline"></div><span style="font-family:arial,sans-serif">"In</span><span style="color:rgb(26,26,26);font-family:merriweather,georgia,serif;font-size:21.12px"> math as in life, </span><a href="https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/" style="text-decoration-line:none;font-family:merriweather,georgia,serif;font-size:21.12px" target="_blank">Vladimir Voevodsky</a><span style="color:rgb(26,26,26);font-family:merriweather,georgia,serif;font-size:21.12px"> played by his own rules."</span><br></div><div class="gmail_quote"><div dir="ltr"><div><div dir="auto"><span style="color:rgb(26,26,26);font-family:merriweather,georgia,serif;font-size:21.12px">Grothendieck ve Perelman ve bizden de Ercüment <div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:small;display:inline">Ortaçgil </div>öyledir...</span></div><div dir="auto"><br></div><div dir="auto"><div class="gmail_default" style="font-family:"comic sans ms",sans-serif"><div class="gmail_default" style="display:inline"></div><span style="font-family:arial,sans-serif">21 Nisan 2015 tarihinde ODTÜ'de Cahit Arf Seminerine konuşmacı olarak gelmişti.</span><span style="font-family:arial,sans-serif"> </span>Konuşmasının abstract ı:</div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif"><span style="color:rgb(85,85,85);font-size:12.8013px;font-family:arial,sans-serif">Today's mathematics is using foundations which have been developed in the late 19th - early 20th century. Since these foundations had been completed mathematics has grown from a field advanced by a few outstanding minds to a large enterprise involving tens of thousands of mathematicians. On this new scale of existence, it is becoming impossible for mathematics to rely entirely on the old peer-review model of ensuring the correctness of the results.<b><i> Univalent Foundations</i></b> are new foundations of mathematics invented with the intention of being usable for the development of computer proof assistants that will facilitate the crafting and verification of complex mathematical constructions.</span></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif"><br></div></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:small"><a href="https://www.quantamagazine.org/visionary-mathematician-vladimir-voevodsky-dies-at-51-20171011/?utm_content=buffer28be8&utm_medium=social&utm_source=twitter.com&utm_campaign=buffer" style="font-family:arial,sans-serif" target="_blank">https://www.quantamagazine.org<wbr>/visionary-mathematician-vladi<wbr>mir-voevodsky-dies-at-51-20171<wbr>011/?utm_content=buffer28be8&u<wbr>tm_medium=social&utm_source=tw<wbr>itter.com&utm_campaign=buffer</a></div></div></div><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:small">resimler mete han karakaş dan: </div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:small">(mete han sen halil ibrahim karakaş ın nesisin?)</div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif"><span style="font-family:arial,sans-serif">---------- Forwarded message ----------</span><br></div><div class="gmail_quote">From: <b class="gmail_sendername">Mete Han Karakaş</b> <span dir="ltr"><<a href="mailto:metehankarakas92@gmail.com" target="_blank">metehankarakas92@<wbr>gmail.com</a>></span><br><div dir="ltr"><br></div><div dir="ltr"><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;display:inline"></div>21 Nisan 2015 tarihinde ODTÜ'de Cahit Arf Seminerine konuşmacı olarak gelmişti. Kendisi ile fotoğraf çekinme fırsatı da yakalamıştım.<div><div>Bilim camiasının başı sağolsun.</div><div>Mete Han Karakaş</div></div></div></div><div class="gmail_default" style="font-family:"comic sans ms",sans-serif;font-size:small">.....................</div></div></div><br></div></div>
<br>______________________________<wbr>_________________<br>
Turkmath mailing list<br>
<a href="mailto:Turkmath@listweb.bilkent.edu.tr">Turkmath@listweb.bilkent.edu.<wbr>tr</a><br>
<a href="http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/turkmath" rel="noreferrer" target="_blank">http://yunus.listweb.bilkent.<wbr>edu.tr/cgi-bin/mailman/<wbr>listinfo/turkmath</a><br>
<br></blockquote></div><br></div>