Zurab Janelidze's Blog

for academia, mathematics, music, art and philosophy

Search for:

Python-Based Introduction to Mathematical Proofs

Scroll down for video lectures 1. What is a Mathematical Proof? Mathematical proof is a method of discourse which allows a human being to:...
My first mathematical discussion with ChatGPT-4

Model: GPT-4 18 March 2022 Prove that 2^n is bigger than n, for every natural number n. To prove that 2^n is greater than n for every natu...
Category Theory 2022 - an NGA course

Here you will find the content for the Category Theory course given under the National Graduate Academy NGA-Coursework of the CoE-MaSS . Th...
Category Theory Course 2023 - a NITheCS SATACS course

Outline: In this course we will explore various topics in category theory. The choice of topics can range from basic to advanced and will ...
ChatGPT-4 vs axiomatic geometry

So I wanted to check how well will ChatGPT-4 perform with the theorem-proving (in a variant of incidence geometry) that I give to second-yea...