Thue, Axel

Enciclopedia on line

Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer Zahlen (1909); Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln (1914). Da quest'ultima hanno preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti sistemi di Thue (insiemi finiti e non vuoti di coppie ordinate di parole su determinati alfabeti) si è potuta dimostrare la non risolubilità del problema delle parole per i semigruppi o problema di Thue, e dei problemi di decisione del calcolo dei predicati.

© Istituto della Enciclopedia Italiana - Riproduzione riservata

CATEGORIE
TAG

Logica matematica

Algebra

Oslo