Project Abstract

Termination is essential to establish the correct behaviour of a computer system. The most common method of establishing termination is the use of ordinals.Therefore thestudy of ordinals is important for computer science. The project is to learn the ordinal arithmetic and try to implement the ordinary and natural ordinal arithmetic.I studied the basic concepts of ordinal numbers, the basic concepts of ordinal arithmetic (which can be divided into natural ordinal arithmetic and universal ordinal arithmetic), ordinal arithmetic (addition, multiplication, powers), natural operations, as well as the knowledge of surreal numbers, which are closely related to ordinal numbers, and I carefully studied the existing implementations of ordinal arithmetic. The existing implementations of ordinal arithmetic include addition, multiplication, and powers of ordinal arithmetic, but ordinal numbers are special hyper-real numbers (hyper-reals are a field), which means that ordinal arithmetic should have subtraction and division in addition to the three calculations mentioned above.In order to try to expand the parts of the implementations that are not mentioned, and to try to come up with the rules to find the operations ordinal subtraction and division.

Keywords: Theorical Computer Science, ,

 Conference Details

Session: Poster Session B at Poster Stand 128

Location: Sir Stanley Clarke Auditorium at Wednesday 8th 09:00 – 12:30

Markers: Oliver Kullmann, Jay Morgan

Course: BSc Computer Science, 3rd Year

Future Plans: I’m continuing studies