którą należy czytać: dla każdych nieujemnych wartości i program(algorytm) Euklidesa kończy obliczenia. A dokładniej, program ujęty w nawiasy {} kończy swoje obliczenia i jego wyniki spełniają formułę następującą po nim.
Algorytmiczna teoria struktury liczb rzeczywistych z porządkiem W 1967 r. E. Engeler udowodnił, że własności semantyczne programów w ciele liczb rzeczywistych z porządkiem wynikają z aksjomatu Archimedesa.
Algorytmiczna teoria struktury liczb rzeczywistych bez relacji porządku Algorytmiczne własności programów, w których nie występuje predykat mniejszości „<”, wynikają z aksjomatów bycia ciałem formalnie rzeczywistym. []
Algorytmiczna struktura ciała liczb zespolonych Własności algorytmiczne programów wykonywanych w ciele liczb zespolonych wynikają z aksjomatu ciała charakterystyki zero. []
Inni autorzy uważają, że algorytmiczna teoria liczb to algebraiczna lub obliczeniowa teoria liczb – dział informatyki teoretycznej i matematyki, zajmujący się badaniami nad efektywnością algorytmów obliczeniowych w teorii liczb. Typowym przykładem jest tutaj problem rozkładu liczby na czynniki pierwsze.
Zobacz też złożoność obliczeniowa
Bibliografia [AK1] [AlgoLog] [LogProg1] [LogProg2] [CentrumBanachAL] [HRAL] [RepoAL] [AL4software]
Kategoria:Teoria obliczeń