search

HallaSurvivor / Blog

It's my website, grossack.site
0 stars 1 forks source link

2022/04/17/geometry-and-logic #8

Closed utterances-bot closed 3 months ago

utterances-bot commented 2 years ago

Using Geometry in Logic | Chris Grossack's Blog

Chris Grossack's math blog and professional website.

https://grossack.site/2022/04/17/geometry-and-logic.html

mlliarm commented 2 years ago

Thank you for this post.

I always felt rather weak in geometry. Then in order to cast away that fear, I bumped on Pogorelov's monograph "Lectures on the foundations of geometry" by Pogorelov and saw that in the end many geometries are logical systems where their objects are geometrical beings.

It's really nice that there is an interplay between the trinity geometry, logic (computation) and algebra as as you've demonstrated here one can see any problem with different eyes :).

I have not understood everything written in this post ofc, but it looks like a great start for anyone with a wish to view logic and computation geometrically.