Skip to main content

Search This Blog

Zurab Janelidze's Blog

Home
About the Author

Posts

Showing posts from November, 2021

November 26, 2021

A surprising story of how a computer was taught to prove some theorems in finitely complete categories

Get link
Facebook
X
Pinterest
Email
Other Apps

Newer Posts Older Posts Home

Topics

math33 talk10 teaching10 research9 music8 abstract math for school6 education4 ideas4 impromptu4 piano4

art3 category theory3 matrix properties3 phylosophy3 sofia3 theory of forms3 chatGPT2 composition2 conference2 course2 lecture notes2 mathematical structures2 programming2 proof writing2 strings2 the proof course2 timeline2 NITheCS1 abstract1 ballet1 cartoon1 dancing1 discussion1 flute1 fundamano1 game1 guitar1 people1 projects1 seminar1 set theory1 sheetmusic1 story1 the kindest ending1 water1

Show more Show less

Post Archive

2025 2
- September 2025 2

2024 4
2023 17
2022 22
2021 11
2016 1
- September 2016 1
2015 1
- September 2015 1

Show more Show less

Visits

Translate

Followers