Certain analytical expressions which ”feel“ the divisors of natural numbers are investigated. It is shown that these expressions encode to some extent the well-known algorithm of the sieve of Eratosthenes.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The early connections between Mathematical Logic and Computer Science date back to the thirties and to the birth itself of modern Theoretical Computer Science, and concern computability. This survey wishes to emphasize how alive and fruitful this relationship has been since then, and still is.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.