Танель Таммет

Танель Таммет
Танель Таммет
	Танель Таммет в 2008 году.
Рожденный	16 мая 1965 г. (59 лет) ; Таллинн , Эстония
Образование	Тартуский университет ; Технологический университет Чалмерса ( доктор философии , 1992 г.)
Известный	Автоматическое доказательство теоремы Гэндальфа ; Эстонских зеленых Основатель
Дети	2
Награды	Орден Белой Звезды
	Научная карьера
Поля	Информатика
Учреждения	Таллиннский технологический университет
Диссертация	(1992)

Танель Таммет — эстонский ученый-компьютерщик, профессор, инженер-программист и программист . Он также был одним из основателей партии зеленых Эстонии . ^{[ 1 ]} и помог основать ИТ-колледж в Таллинне .

Жизнь и карьера

Таммет родился в 1965 году и рано получил доступ к компьютерам Тартуского университета благодаря работе своего отца на физическом факультете. ^{[ 2 ]} В результате он в итоге окончил математический факультет университета по специальности «Прикладная математика» по специальности «Информационные технологии» . Он заинтересовался автоматизированным доказательством теорем и окончил Гетеборгский технологический университет Чалмерса со степенью доктора философии. в 1992 году. ^{[ 3 ]} Большую часть того десятилетия он прожил в Швеции, затем вернулся в Таллинн.

Таммет получил международную известность благодаря своей программе автоматизированного доказательства теорем «Гэндальф», которая шесть раз в период с 1997 по 2003 год выигрывала различные категории конкурса CASC Конференции по автоматизированному выводу (CADE). ^{[ 4 ]} Он был делегатом от Эстонии в группе по информационным технологиям Организации исследований и технологий НАТО и писал статьи о кибербезопасности . ^{[ 5 ]}^{[ 6 ]} Он часто учит или говорит ^{[ 7 ]} об искусственном интеллекте и утверждал, что он уже существует, хотя и в примитивной и распределенной форме. ^{[ 8 ]}

С 2006 года Таммет был одним из основателей и членом правления Эстонских зеленых. ^{[ 1 ]} В следующем году партия была избрана в Рийгикогу , набрав 7,1% голосов по всей стране, что дало ей шесть мест. В 2010 году, на фоне растущей напряженности после неудачной попытки баллотироваться в Европейский парламент и местных выборов в 2009 году, Таммет вместе с 19 другими членами был исключен из партии. ^{[ 9 ]} Впоследствии ему не удалось набрать минимальные 5% голосов, необходимые на парламентских выборах 2011 года, и он исчез. ^{[ 10 ]}

Таммет — профессор Таллиннского технического университета и руководитель факультета института компьютерных наук . ^{[ 11 ]} Ранее он помог основать Таллиннский ИТ-колледж и входил в его консультативный совет с момента его создания в 2003 году. ^{[ 12 ]} Таммет также работал в Институте кибернетики в Таллинне. ^{[ 13 ]} В 2012 году он привлек внимание ^{[ 14 ]}^{[ 15 ]} за создание Sightsmap — веб-сайта, который визуализирует популярность мест по всему миру на основе данных Panoramio , Wikipedia и Foursquare City Guide .

У Таммета двое детей. ^{[ 13 ]} В 2002 году награжден Орденом Белой Звезды пятой степени . ^{[ 16 ]}

Книги

Таммет, Танель; Путеводитель по онлайн-миру , Тарту: Ильмамаа, 1997. ISBN 9985821874
Тамме, Тыну; Таммет, Танель; Пранк, Рейн; Логика: от размышления к доказательству , Тарту: Издательство Тартуского университета, 1997. ISBN 9985562313

Ссылки

^ Jump up to: ^а ^б Раун, Ало (25 ноября 2006 г.). «Rohelized üritavad esimeheta hakkama saada (Зеленые попытаются обойтись без лидера)» . Postimees Online . Архивировано из оригинала 13 февраля 2013 года . Проверено 16 мая 2012 г.
^ «Информация о личности: Ханнес Таммет» . Эстонский исследовательский портал . Проверено 16 мая 2012 г.
^ «Информация о личности: Танель Таммет» . Эстонский исследовательский портал . Проверено 16 мая 2012 г.
^ «Соревнования по системе CADE ATP» . КЕЙД . Университет Майами . Проверено 16 мая 2012 г.
^ Таммет, Танель (9 октября 2011 г.). «Кибербезопасность в двух университетах одновременно» . Компьютерный мир . Проверено 16 мая 2012 г.
^ Таммет, Танель (30 ноября 2005 г.). «Холодная кибервойна» . Эстонская газета . Проверено 16 мая 2012 г.
^ «Интернет и появление искусственного интеллекта» . Таллиннский технологический университет . Гугл Видео . Проверено 16 мая 2012 г.
^ Аасару, Хейкки (23 апреля 2012 г.). «Танель Таммет: Искусственный интеллект уже существует (Танель Таммет: Искусственный интеллект уже существует)» . ЭРР . Проверено 16 мая 2012 г.
^ Зильм, Сандер (18 мая 2010 г.). «Внутренняя война зеленых: членов бывшего правления выгнали из партии» . Вечерняя газета . Проверено 16 мая 2012 г.
^ Партия «Эстонские зеленые» . История политических партий Эстонии . party.info.
^ «Контактид (контакты)» . Таллиннский технологический университет . Проверено 16 мая 2012 г.
^ «Nõunike kogu (Попечительский совет)» . ИТ-колледж . Проверено 16 мая 2012 г.
^ Jump up to: ^а ^б «Танель Таммет приравнивает защиту окружающей среды к свободе» . Люди . грн. Архивировано из оригинала 5 марта 2016 года . Проверено 16 мая 2012 г.
^ Чжан, Майкл (23 января 2012 г.). «Тепловая карта популярных мест для фотографий по всему миру» . ПетаПиксель . Проверено 16 мая 2012 г.
^ Ньюман, Лейт (25 января 2012 г.). «Вспышка счастья» . Жизнь Лиф . Проверено 16 мая 2012 г.
^ «Наградители» . Государственные награды Эстонии . Канцелярия президента Эстонии . Проверено 16 мая 2012 г.

Внешние ссылки

[raun-1] Jump up to: ^а ^б Раун, Ало (25 ноября 2006 г.). «Rohelized üritavad esimeheta hakkama saada (Зеленые попытаются обойтись без лидера)» . Postimees Online . Архивировано из оригинала 13 февраля 2013 года . Проверено 16 мая 2012 г.

[2] «Информация о личности: Ханнес Таммет» . Эстонский исследовательский портал . Проверено 16 мая 2012 г.

[3] «Информация о личности: Танель Таммет» . Эстонский исследовательский портал . Проверено 16 мая 2012 г.

[4] «Соревнования по системе CADE ATP» . КЕЙД . Университет Майами . Проверено 16 мая 2012 г.

[5] Таммет, Танель (9 октября 2011 г.). «Кибербезопасность в двух университетах одновременно» . Компьютерный мир . Проверено 16 мая 2012 г.

[6] Таммет, Танель (30 ноября 2005 г.). «Холодная кибервойна» . Эстонская газета . Проверено 16 мая 2012 г.

[7] «Интернет и появление искусственного интеллекта» . Таллиннский технологический университет . Гугл Видео . Проверено 16 мая 2012 г.

[8] Аасару, Хейкки (23 апреля 2012 г.). «Танель Таммет: Искусственный интеллект уже существует (Танель Таммет: Искусственный интеллект уже существует)» . ЭРР . Проверено 16 мая 2012 г.

[9] Зильм, Сандер (18 мая 2010 г.). «Внутренняя война зеленых: членов бывшего правления выгнали из партии» . Вечерняя газета . Проверено 16 мая 2012 г.

[10] Партия «Эстонские зеленые» . История политических партий Эстонии . party.info.

[11] «Контактид (контакты)» . Таллиннский технологический университет . Проверено 16 мая 2012 г.

[Advisors-12] «Nõunike kogu (Попечительский совет)» . ИТ-колледж . Проверено 16 мая 2012 г.

[Gruune-13] Jump up to: ^а ^б «Танель Таммет приравнивает защиту окружающей среды к свободе» . Люди . грн. Архивировано из оригинала 5 марта 2016 года . Проверено 16 мая 2012 г.

[14] Чжан, Майкл (23 января 2012 г.). «Тепловая карта популярных мест для фотографий по всему миру» . ПетаПиксель . Проверено 16 мая 2012 г.

[15] Ньюман, Лейт (25 января 2012 г.). «Вспышка счастья» . Жизнь Лиф . Проверено 16 мая 2012 г.

[16] «Наградители» . Государственные награды Эстонии . Канцелярия президента Эстонии . Проверено 16 мая 2012 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Соединенные Штаты
академики	ДБЛП
Другой	ИдРеф