Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
- Publication
- Publication Type
Articles 1 - 3 of 3
Full-Text Articles in Logic and Foundations of Mathematics
Primality Proving Based On Eisenstein Integers, Miaoqing Jia
Primality Proving Based On Eisenstein Integers, Miaoqing Jia
Honors Theses
According to the Berrizbeitia theorem, a highly efficient method for certifying the primality of an integer N ≡ 1 (mod 3) can be created based on pseudocubes in the ordinary integers Z. In 2010, Williams and Wooding moved this method into the Eisenstein integers Z[ω] and defined a new term, Eisenstein pseudocubes. By using a precomputed table of Eisenstein pseudocubes, they created a new algorithm in this context to prove primality of integers N ≡ 1 (mod 3) in a shorter period of time. We will look at the Eisenstein pseudocubes and analyze how this new algorithm works with the …
Reading Between The Lines: Verifying Mathematical Language, Tristan Johnson
Reading Between The Lines: Verifying Mathematical Language, Tristan Johnson
Honors Theses
A great deal of work has been done on automatically generating automated proofs of formal statements. However, these systems tend to focus on logic-oriented statements and tactics as well as generating proofs in formal language. This project examines proofs written in natural language under a more general scope of mathematics. Furthermore, rather than attempting to generate natural language proofs for the purpose of solving problems, we automatically verify human-written proofs in natural language. To accomplish this, elements of discourse parsing, semantic interpretation, and application of an automated theorem prover are implemented.
Abstraction And Epistemic Economy, Marco Panza
Abstraction And Epistemic Economy, Marco Panza
MPP Published Research
Most of the arguments usually appealed to in order to support the view that some abstraction principles are analytic depend on ascribing to them some sort of existential parsimony or ontological neutrality, whereas the opposite arguments, aiming to deny this view, contend this ascription. As a result, other virtues that these principles might have are often overlooked. Among them, there is an epistemic virtue which I take these principles to have, when regarded in the appropriate settings, and which I suggest to call ‘epistemic economy’. My purpose is to isolate and clarify this notion by appealing to some examples concerning …