Таммет, Танел

Родился в 1965 году в Таллине. С ранних лет Таммет имел доступ к компьютерам Тартуского университета, поскольку его отец работал на физическом факультете[3]. В итоге он окончил математический факультет по специальности «информационные технологии». Он интересовался автоматическим доказательством теорем. В 1992 году получил докторскую степень в Гётеборгском технологическом университете Чалмерса[4]. Большую часть 1990-х жил в Швеции, затем вернулся в Таллинн.

Таммет получил международное признание благодаря своей программе Gandalf для автоматического доказательства теорем, которая побеждала в различных категориях конкурса CADE CASC шесть раз в период между 1997 и 2003 годом[5]. Он был эстонским делегатом в Группе по технологиям информационных систем Исследовательской и технологической организации НАТО[6][7]. Он часто любит рассуждать[8] об искусственном интеллекте и утверждает, что он уже существует, хотя и в примитивной и распределённой форме[9].

В 2006 году Таммет стал одним из основателей и членом правления эстонской партии зелёных[2]. Партия прошла в Рийгикогу на выборах следующего года, получив 7,1 % голосов и шесть мест. В 2010 году, на фоне растущей напряженности и после неудачного участия в выборах в Европарламент и в местных выборах, Таммет вместе с 19 другими членами был исключён из партии[10]. Партии впоследствии не удалось набрать минимальные 5 % голосов на выборах 2011 года и пройти в парламент[11].

Таммет является профессором Таллиннского технического университета и руководителем его института информатики[12]. Ранее он оказал помощь в создании таллинского IT-колледжа и находился с его совете консультантов с момента его создания в 2003 году[13]. Таммет также работал в Институте кибернетики в Таллинне[14].

Таммет женат и имеет двух сыновей[14]. В 2002 году он был удостоен Ордена Белой звезды 5-й степени[15].

• Tammet, Tanel; Teejuht võrgumaailma, Tartu : Ilmamaa, 1997. ISBN 9985821874
• Tamme, Tõnu; Tammet, Tanel; Prank, Rein; Loogika: Mõtlemisest tõestamiseni, Tartu : Tartu Ülikooli Kirjastus, 1997. ISBN 9985562313

• Персональная страница на Google Sites