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 ...
Lectures

Calculus (notes in progress in Real Variable Calculus) NITheCS Mini-School on Elementary Introduction to Category Theory , a series of l...