George Spencer-Brown (2 de abril de 1923 - 25 de agosto de 2016) fue un erudito inglés, más conocido como el autor de Laws of Form . Se describió a sí mismo como "matemático, ingeniero consultor, psicólogo , consultor y practicante educativo, psicoterapeuta consultor , autor y poeta". [1]
Spencer-Brown nació en Grimsby , Lincolnshire, Inglaterra, asistió a la Mill Hill School y luego aprobó el primer MB en 1940 en el London Hospital Medical College [2] (ahora parte de Barts y The London School of Medicine and Dentistry ). Después de servir en la Marina Real (1943-47), estudió en el Trinity College, Cambridge , obteniendo honores en Filosofía (1950) y Psicología (1951), y donde conoció a Bertrand Russell . De 1952 a 1958, enseñó filosofía en Christ Church, Oxford , obtuvo títulos de maestría en 1954 tanto de Oxford como de Cambridge, y escribió su tesis doctoral Probabilidad e inferencia científica bajo la supervisión de William Kneale que se publicó como libro en 1957. [3] [4]
Durante la década de 1960, se convirtió en discípulo del innovador psiquiatra escocés RD Laing , citado con frecuencia en Laws of Form . En 1964, por recomendación de Bertrand Russell , se convirtió en profesor de matemáticas formales en la Universidad de Londres . A partir de 1969, estuvo afiliado al Departamento de Matemáticas Puras y Estadística Matemática de la Universidad de Cambridge . En las décadas de 1970 y 1980, fue profesor visitante en la Universidad de Australia Occidental , la Universidad de Stanford y en la Universidad de Maryland, College Park . [ cita requerida ]
Laws of Form , una obra de matemáticas y filosofía a la vez, surgió del trabajo de ingeniería electrónica que Spencer-Brown realizó alrededor de 1960, y de las conferencias sobre lógica matemática que luego dio bajo los auspicios del programa de extensión de la Universidad de Londres. Publicada por primera vez en 1969, nunca ha dejado de imprimirse. Spencer-Brown se refirió al sistema matemático de Laws of Form como el "álgebra primaria" y el "cálculo de indicaciones"; otros lo han denominado " álgebra de límites ". El álgebra primaria es esencialmente una notación minimalista elegante para el álgebra de Boole de dos elementos , muy similar a los sistemas formales que Charles Sanders Peirce ideó en un trabajo escrito en las décadas de 1880 y 1890 (ver grafo entitativo y grafo existencial ), pero en algunos casos no publicado hasta después de la primera edición de Laws of Form . [ cita requerida ]
Las leyes de la forma han influido, entre otros, en Heinz von Foerster , Louis Kauffman , Niklas Luhmann , Humberto Maturana , Francisco Varela , Leon Conrad , [5] y William Bricken. Algunos de estos autores han modificado y ampliado el álgebra primaria, con interesantes consecuencias.
En una carta de 1976 al editor de Nature , Spencer-Brown afirmó haber obtenido una prueba del teorema de los cuatro colores que no está asistida por computadora. [6] El prefacio de la edición de 1979 de Laws of Form repite esa afirmación y afirma además que la prueba computacional generalmente aceptada de Appel, Haken y Koch ha "fallado" (página xii). La supuesta prueba del teorema de los cuatro colores de Spencer-Brown aún no ha encontrado defensores; Kauffman proporciona una revisión detallada de partes de ese trabajo. [7] [8]
La sexta edición de Leyes de la forma anuncia que incluye "la primera prueba de la hipótesis de Riemann ". [9]
Durante su estancia en Cambridge, Spencer -Brown era un jugador de ajedrez . Ostentaba dos récords mundiales como piloto de planeadores y era corresponsal deportivo del Daily Express . [10] También escribió algunas novelas y poemas, a veces empleando el seudónimo de James Keys .
Spencer-Brown murió el 25 de agosto de 2016. [ cita requerida ] Fue enterrado en la Necrópolis de Londres , Brookwood , Surrey . [ cita requerida ]
Si bien no se niega parte de su talento, no todos los críticos de las afirmaciones y escritos de Spencer-Brown han estado dispuestos a evaluarlos según su propia valoración; la poesía es, en la lectura más generosa, un gusto idiosincrásico, y algunas voces prominentes han sido decididamente desdeñosas respecto del valor de su material formal. Por ejemplo, Martin Gardner escribió en su ensayo: " M-Pire Maps ":
En diciembre de 1976, G. Spencer-Brown, el matemático británico inconformista, sorprendió a sus colegas al anunciar que tenía una prueba del teorema de los cuatro colores que no requería verificación por computadora. La confianza suprema de Spencer-Brown y su reputación como matemático le valieron una invitación para dar un seminario sobre su prueba en la Universidad de Stanford. Al cabo de tres meses, todos los expertos que asistieron al seminario coincidieron en que la lógica de la prueba estaba plagada de fallos, pero Spencer-Brown regresó a Inglaterra todavía seguro de su validez. La "prueba" aún no ha sido publicada.
Spencer-Brown es el autor de un curioso librito llamado Laws of Form [11] , que es esencialmente una reconstrucción del cálculo proposicional por medio de una notación excéntrica. El libro, que el matemático británico John Horton Conway describió una vez como bellamente escrito pero "sin contenido", tiene un amplio círculo de devotos de la contracultura . [12]