BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER
B. Sitnikovski. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES, 4 (4):
41-45(April 2023)
Abstract
We present a simple programming language based on Godel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we will present a theorem prover that allows expressing and working with formal systems. The theorem prover is simple as it relies merely on a substitution rule and set equality to derive theorems. Finally, we will represent the programming language in the theorem prover. We will show the syntax and semantics of both, and then provide a few example programs and their evaluation.
%0 Journal Article
%1 noauthororeditor
%A Sitnikovski, Boro
%D 2023
%J CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES
%K Programming computational language, modelGodel numbering prover, theorem
%N 4
%P 41-45
%T BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER
%U https://cajmtcs.centralasianstudies.org/index.php/CAJMTCS/article/view/420/475
%V 4
%X We present a simple programming language based on Godel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we will present a theorem prover that allows expressing and working with formal systems. The theorem prover is simple as it relies merely on a substitution rule and set equality to derive theorems. Finally, we will represent the programming language in the theorem prover. We will show the syntax and semantics of both, and then provide a few example programs and their evaluation.
@article{noauthororeditor,
abstract = {We present a simple programming language based on Godel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we will present a theorem prover that allows expressing and working with formal systems. The theorem prover is simple as it relies merely on a substitution rule and set equality to derive theorems. Finally, we will represent the programming language in the theorem prover. We will show the syntax and semantics of both, and then provide a few example programs and their evaluation.},
added-at = {2023-09-04T12:51:14.000+0200},
author = {Sitnikovski, Boro},
biburl = {https://www.bibsonomy.org/bibtex/25fa7a639577abe0cab927a12f9442517/centralasian_20},
interhash = {34cd47e69d335eccdfa7a30a103a4d7d},
intrahash = {5fa7a639577abe0cab927a12f9442517},
issn = {2660-5309},
journal = {CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES},
keywords = {Programming computational language, modelGodel numbering prover, theorem},
language = {english},
month = apr,
number = 4,
pages = {41-45},
timestamp = {2023-09-04T12:51:14.000+0200},
title = {BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER},
url = {https://cajmtcs.centralasianstudies.org/index.php/CAJMTCS/article/view/420/475},
volume = 4,
year = 2023
}