Pages

▼
Showing posts with label An Asemics of Mathematics -Lambda Calculus - Type Theory - AI / EZE. Show all posts
Showing posts with label An Asemics of Mathematics -Lambda Calculus - Type Theory - AI / EZE. Show all posts
Sunday, September 13, 2026

An Asemics of Mathematics - Lambda Calculus - Type Theory - AI / EZE, 2026

›
AI Semantically, math works as a universal formal language designed to express, manipulate, and communicate precise structures, relationshi...