Войти
| G. Спенсер-Браун | |
|---|---|
| Родился | Джордж Спенсер-Браун. (1923-04-02) 2 апреля 1923 года. Гримсби, Линкольншир, Англия |
| Умер | (2016-08-25) 25 августа 2016. Маркет Лавингтон, Уилтшир, Англия |
| Alma mater | Тринити-колледж, Кембридж |
| Род занятий | Математик |
Джордж Спенсер-Браун (2 апреля 1923 - 25 августа 2016) был английским эрудитом, наиболее известным как автор законов формы. Он описал себя как «математик, инженер-консультант, психолог, консультант и практик по образованию, консультант психотерапевт, автор и поэт».
Родился в Гримсби, Линкольншир, Англия, Спенсер-Браун посещал школу Милл-Хилл, а затем сдал первый MB в 1940 г. в Лондонском госпитальном медицинском колледже (ныне часть Бартса и Лондонской школы медицины и стоматологии ). После службы в Королевском флоте (1943–47) он учился в Тринити-колледже в Кембридже, получив диплом с отличием по философии (1950) и психологии (1951), и где познакомился с Бертраном Расселом. С 1952 по 1958 год он преподавал философию в Крайст-Черч, Оксфорд, получил степень магистра в 1954 году как в Оксфорде, так и в Кембридже, и написал докторскую диссертацию «Вероятность и научный вывод» под руководством Уильяма Книла, которая была выпущена в виде книги в 1957 году.
В 1960-х годах он стал учеником шотландского психиатра-новатора Р. Д. Лэнг, часто упоминается в «Законах формы». В 1964 году по рекомендации Бертрана Рассела он стал преподавателем формальной математики в Лондонском университете. С 1969 года он был связан с отделом чистой математики и математической статистики Кембриджского университета. В 1970-х и 1980-х годах он был приглашенным профессором в Университете Западной Австралии, Стэнфордском университете и в Университете Мэриленда, Колледж-Парк.
. в Кембридже Спенсер-Браун был шахматным синим. Он установил два мировых рекорда как пилот планера и был спортивным корреспондентом в Daily Express. Он также написал несколько романов и стихов, иногда используя псевдоним Джеймс Киз. Спенсер-Браун умер 25 августа 2016 года.
Законы формы, одновременно работа математики и философии, возникла в результате работы Спенсер-Брауна в электронной инженерии примерно в 1960 году., а также из лекций по математической логике, которые он позже прочитал под эгидой программы расширения Лондонского университета. Впервые опубликованный в 1969 году, он никогда не выходил из печати. Спенсер-Браун называл математическую систему Законов формы «первичной алгеброй» и «исчислением показателей»; другие назвали это «граничной алгеброй ». Первичная алгебра - это, по сути, элегантная минималистическая запись для двухэлементной булевой алгебры, очень похожая на формальные системы, которые Чарльз Сандерс Пирс разработал в работе, написанной в 1880-е и 90-е годы (см. энтуитивный граф и экзистенциальный граф ), но в некоторых случаях публикуется только после первого издания «Законов формы».
Законы формы повлияли, среди прочего, на Хайнца фон Ферстера, Луи Кауфмана, Никласа Луманна, Умберто Матурана, Франсиско Варела и Уильям Бриккен. Некоторые из этих авторов модифицировали и расширили первичную алгебру с интересными последствиями.
В письме 1976 года в редакцию журнала Nature Спенсер-Браун потребовал доказательства теоремы о четырех цветах, которое не требует компьютерной помощи. Предисловие к Законам формы 1979 г. повторяет это утверждение и далее утверждает, что общепринятое вычислительное доказательство Аппеля, Хакена и Коха «провалилось» (стр. Xii). Заявленное Спенсером-Брауном доказательство теоремы о четырех цветах еще не нашло защитников; Кауфман дает подробный обзор частей этой работы.
 | В Викицитатнике есть цитаты, относящиеся к: G. Спенсер-Браун |
