[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