City Tutoring Discussion Forum

Have you come across Peano Arithmetic?

Proving 1+1=2 takes a bit of work but it’s something rather satisfying to do. The point of doing so is to generalise the principles by which we can reason about mathematical objects. If we try to pick a small but tightly defined “rules of the game”, or axioms ...

By any chance have you come across the mathematician Norman Wildberger and his reformulation of mathematics on the rational numbers deliberately excluding the reals critical of their ‘logical’ constructions?

There’s a whole syllabus developed there but there’s a few debates in which he’s ...

Glad to see the Cromwell Confidential section. Current events are genuinely astonishing.

I'm writing from NZ — nominally a close US ally — and I think citizens across the Anglosphere are slowly coming to terms with the depth of elite capture. Our politicians function as NPCs/talking heads that ...

@StudentDriver Mostly Lean 4 theorem proving of late, though previously I had a really strong interest in video games and while making my own or mods for games I liked the physics engines were of particular note.

This was a main gripe. I enjoy programming as a hobby but I don't want to do a lot of ...

I've heard great things about Rocq!

I happened upon Lean 4 as I was trying to mathematically prove properties in a C program and figured LLVM IR ought to be tight enough, or at least a sufficiently narrow subset of it could be reasoned about. I've come across the book but I've found it much too ...

We're a very pretty retirement village. Wealthy retirees bring foreign cash in and buy up nice houses. There is virtually no point in trying to build anything. If you play the game you can live a somewhat nice life providing professional services to cultural rent seekers or work some managerial job ...

I am uncredentialed but before dropping out of my mathematics degree around a decade ago I did study some formal logic. The capstone result being the Cantor-Schröder-Bernstein theorem which states if you've got an injection from A -> B and B -> A even if A and B are infinite sets then there is a ...

I am a recent subscriber to the City Tutoring Youtube Channels. The videos speak to me at a level in which thoughts that I had long had finally found expression, and clarity, and precision in ways that in many instances I had glimpses of but couldn't fully put my finger on.

Since my pre-teen years ...