Math Is Fun Forum

Agnishom

Real Member

From: Riemann Sphere

Registered: 2011-01-29

Posts: 25,009

Website

My Thesis

You can find my thesis here: Link

It's about stating and proving theorems about regular expressions and temporal logic using a proof assistant

Last edited by Agnishom (2025-02-15 16:25:19)

---

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.

Bob

Administrator

Registered: 2010-06-20

Posts: 10,753

Re: My Thesis

That's great!  Wow, hasn't time flown by. I seem to remember you were a lot younger when you joined.

Anyhow, it'll be a few days before I get a chance to study it properly.  I'll let you know then how I got on.  Probably have to have a few things explained (to this old timer)

Bob

---

Children are not defined by school ...........The Fonz
You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei
Sometimes I deliberately make mistakes, just to test you!  …………….Bob

Agnishom

Real Member

From: Riemann Sphere

Registered: 2011-01-29

Posts: 25,009

Website

Re: My Thesis

Thanks for your kind words, Bob!

I am glad to see that the forum is still functioning and every now and then people pop in to discuss mathematics. Several years ago, I would spend hours everyday chatting around on the forum

---

'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.