[Turkmath:2580] “He had the most difficulty doing algebraic geometry problems even though he was about to revolutionize the subject,” Frenkel said. “It shows mathematical research is not a linear process.”

yilmaz akyildiz yilmaz.akyildiz at gmail.com
Thu Oct 19 09:46:45 UTC 2017


​
"In math as in life, Vladimir Voevodsky
<https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/>
played
by his own rules."
Grothendieck ve Perelman ve bizden de Ercüment
​Ortaçgil ​
öyledir...

​
21 Nisan 2015 tarihinde ODTÜ'de Cahit Arf Seminerine konuşmacı olarak
gelmişti. Konuşmasının abstract ı:
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.* Univalent Foundations* 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.​

https://www.quantamagazine.org/visionary-mathematician-vladi
mir-voevodsky-dies-at-51-20171011/?utm_content=buffer28be8&
utm_medium=social&utm_source=twitter.com&utm_campaign=buffer​

​resimler mete han karakaş dan:
(mete han sen halil ibrahim karakaş ın nesisin?)

---------- Forwarded message ----------
From: Mete Han Karakaş <metehankarakas92 at gmail.com>

​​
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.
Bilim camiasının başı sağolsun.
Mete Han Karakaş
​.....................​
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20171019/33d69276/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20150421_174930.jpg
Type: image/jpeg
Size: 2125004 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20171019/33d69276/attachment-0003.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20150421_180607.jpg
Type: image/jpeg
Size: 1769450 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20171019/33d69276/attachment-0004.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20150421_180949.jpg
Type: image/jpeg
Size: 817142 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20171019/33d69276/attachment-0005.jpg>


More information about the Turkmath mailing list