Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Automated Extraction Of Key Words And Abstract, Oluwadarasimi Temitope Ogunshote Mr.
Automated Extraction Of Key Words And Abstract, Oluwadarasimi Temitope Ogunshote Mr.
Undergraduate Student Research Internships Conference
An application/program that automates the extraction of key words and abstracts from documents.
Contemporary Mathematical Approaches To Computability Theory, Luis Guilherme Mazzali De Almeida
Contemporary Mathematical Approaches To Computability Theory, Luis Guilherme Mazzali De Almeida
Undergraduate Student Research Internships Conference
In this paper, I present an introduction to computability theory and adopt contemporary mathematical definitions of computable numbers and computable functions to prove important theorems in computability theory. I start by exploring the history of computability theory, as well as Turing Machines, undecidability, partial recursive functions, computable numbers, and computable real functions. I then prove important theorems in computability theory, such that the computable numbers form a field and that the computable real functions are continuous.