Algorithmic theory of rational numbers

Z Lem

Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 12:12, 2 paź 2018

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)

Skocz do: nawigacji, wyszukiwania

Theorem. Axioms of ordered field and algorithmic formula saying for all n and m the Euclid's algorithm terminates uniquely determine the structure of rational numbers.
For the proof consult Antoni Kreczmar. Programmability in Fields. „Fundamenta Informaticae”, s. 195-230, 1977.

Źródło „http://lem12.uksw.edu.pl/index.php?title=Algorithmic_theory_of_rational_numbers&oldid=2570”