Джордж Спенсер-Браун (2 апреля 1923 – 25 августа 2016) был английским энциклопедистом, наиболее известным как автор книги «Законы формы» . Он описывал себя как «математика, инженера-консультанта, психолога , образовательного консультанта и практика, консультирующего психотерапевта , автора и поэта». [1]
Родился в Гримсби , Линкольншир, Англия, Спенсер-Браун учился в школе Mill Hill , а затем в 1940 году получил степень магистра в Лондонском медицинском колледже [2] (теперь часть Barts и Лондонской школы медицины и стоматологии ). После службы в Королевском флоте (1943–47) он учился в Тринити-колледже в Кембридже , получив диплом с отличием по философии (1950) и психологии (1951), где он встретил Бертрана Рассела . С 1952 по 1958 год он преподавал философию в Крайст-Черч, Оксфорд , получил степени магистра в 1954 году в Оксфорде и Кембридже и написал докторскую диссертацию «Вероятность и научный вывод» под руководством Уильяма Нила , которая была опубликована в виде книги в 1957 году. [3] [4]
В 1960-х годах он стал учеником новаторского шотландского психиатра Р. Д. Лэйнга , часто цитируемого в «Законах формы» . В 1964 году по рекомендации Бертрана Рассела он стал преподавателем формальной математики в Лондонском университете . С 1969 года он был связан с кафедрой чистой математики и математической статистики в Кембриджском университете . В 1970-х и 1980-х годах он был приглашенным профессором в Университете Западной Австралии , Стэнфордском университете и в Университете Мэриленда в Колледж-Парке . [ требуется ссылка ]
Законы формы , одновременно работа по математике и философии, возникла из работы в области электронной инженерии, которую Спенсер-Браун проделал около 1960 года, и из лекций по математической логике, которые он позже читал под эгидой программы расширения Лондонского университета. Впервые опубликованная в 1969 году, она никогда не выходила из печати. Спенсер-Браун называл математическую систему Законов формы «первичной алгеброй» и «исчислением показаний»; другие называли ее « граничной алгеброй ». Первичная алгебра по сути является элегантной минималистской нотацией для двухэлементной булевой алгебры , очень похожей на формальные системы , которые Чарльз Сандерс Пирс разработал в работе, написанной в 1880-х и 1890-х годах (см. сущностный граф и экзистенциальный граф ), но в некоторых случаях опубликованной только после первого издания Законов формы . [ требуется ссылка ]
Законы формы оказали влияние, среди прочих, на Хайнца фон Ферстера , Луи Кауфмана , Никласа Лумана , Умберто Матурану , Франциско Варелу , Леона Конрада , [5] и Уильяма Брикена. Некоторые из этих авторов модифицировали и расширили первичную алгебру с интересными последствиями.
В письме 1976 года редактору Nature Спенсер-Браун заявил о доказательстве теоремы о четырех красках , которое не было получено с помощью компьютера. [6] В предисловии к изданию 1979 года « Законов формы» это утверждение повторяется, и далее утверждается, что общепринятое вычислительное доказательство Аппеля, Хакена и Коха «провалилось» (стр. xii). Заявленное Спенсером-Брауном доказательство теоремы о четырех красках еще не нашло защитников; Кауфман дает подробный обзор частей этой работы. [7] [8]
В 6-м издании « Законов формы» сообщается, что оно включает в себя «первое в истории доказательство гипотезы Римана ». [9]
Во время учебы в Кембридже [ требуется разъяснение ] Спенсер-Браун был шахматным полуголубым . Он установил два мировых рекорда как пилот планера и был спортивным корреспондентом Daily Express . [10] Он также написал несколько романов и поэм, иногда используя псевдоним Джеймс Киз .
Спенсер-Браун умер 25 августа 2016 года. [ нужна ссылка ] Он был похоронен в Лондонском некрополе , Бруквуд , Суррей . [ нужна ссылка ]
Не отрицая некоторых его талантов, не все критики заявлений и сочинений Спенсера-Брауна были готовы оценить их по его собственной оценке; поэзия в самом снисходительном прочтении является своеобразным вкусом, и некоторые видные голоса решительно пренебрегли ценностью его формального материала. Например, Мартин Гарднер написал в своем эссе: " M-Pire Maps ":
В декабре 1976 года Дж. Спенсер-Браун, независимый британский математик, поразил своих коллег, объявив, что у него есть доказательство теоремы о четырех красках, которое не требует компьютерной проверки. Абсолютная уверенность Спенсера-Брауна и его репутация математика принесли ему приглашение провести семинар по его доказательству в Стэнфордском университете. По истечении трех месяцев все эксперты, посетившие семинар, согласились, что логика доказательства была пронизана дырами, но Спенсер-Браун вернулся в Англию все еще уверенным в его обоснованности. «Доказательство» еще не было опубликовано.
Спенсер-Браун является автором любопытной небольшой книги под названием «Законы формы» [11] , которая по сути является реконструкцией исчисления высказываний с помощью эксцентричной нотации. Книга, которую британский математик Джон Хортон Конвей однажды описал как прекрасно написанную, но «бессодержательную», имеет большой круг поклонников контркультуры . [12]
