STEPHEN COLE KLEENE

1909-1994

Kleene naci en Hartford, Connecticut, Estados Unidos. Recibi su ttulo de artes en el Amherts College en 1930. Desde 1930 a 1935 fue un estudiante graduado y asistente investigador en la Universidad de Princeton, donde recibi su doctorado en Matemticas en 1934

Hartford, 1909 - Madison, 1994) Lgico y matemtico estadounidense. Fue director de los departamentos de matemticas y de anlisis numrico de la Universidad de Wisconsin. Se especializ en el estudio de las funciones recursivas y la teora de los autmatas. Entre sus numerosas obras destacan Introduccin a la matemtica (1952) y Lgica matemtica (1967).

La clausura de Kleene de un lenguaje

La clausura de Kleene o estrella de Kleene de un lenguaje A, A , es la Union de todas las potencias de A y se denota por A

Demostracin: 1. A A = A (A0 A1 A2 ) = A1 A2 A3 = A+. Similarmente se demuestra que A A = A+

En lgica matematica y en ciencias de la computacin, la clausura de Kleene (tambin llamada estrella Kleene o cierre estrella) es una operacin unaria que se aplica sobre un conjunto de cadenas de caracteres o un conjunto de smbolos o caracteres (alfabeto), y representa el conjunto de las cadenas que se pueden formar tomando cualquier nmero de cadenas del conjunto inicial, posiblemente con repeticiones, y concatenndolas entre s. La aplicacin de la clausura de Kleene a un conjunto V se denota como V*. Es muy usada en expresiones regulares y fue introducida en este contexto por Stephen Kleene (1909-1994) para caracterizar un cierto automata.

Frases de stephen cole kleene

He ledo uno o dos libros que me dio una formacin en matemticas que no sean la lgica. Yo tena algunas dudas acerca de la filosofa, ya que, si usted trabaj una teora filosfica, era difcil saber si ibas a ser capaz de probarlo o si otras teoras tenan tan buen reclamo en la creencia.

Me fui a Princeton desde Amherst, donde me separ mis intereses entre las matemticas y la filosofa.

Tuve una educacin de artes liberales en el Amherst College, donde tena dos majors, las matemticas y la filosofa.

bibliografa