Cult of Passion at Thu, 16 May 2024 16:44:53 UTC No. 16178559

>>16178555
I'm gay as fucking fuck

Anonymous at Thu, 16 May 2024 16:49:21 UTC No. 16178568

>>16178555
frege was a nazi incel loser, you can ignore everything he said

Anonymous at Thu, 16 May 2024 16:51:44 UTC No. 16178571

>>16178568
So listen to everything he says. Got it.

Anonymous at Thu, 16 May 2024 17:22:03 UTC No. 16178612

Learn how to write basic proofs. Then pick up

>Introduction to Mathematical Logic (Hodel)
>Model Theory (Chang/Keisler)
>Proof Theory (Gaisi)
>Introductory Set Theory (Levy) or Set Theory (Jech).

All cheap dover books and good. Obviously start with learn propositional logic, first order and then maybe second and higher order. Learn some basic proof, model, and set theory. Maybe learn alternative foundations and perspectivevs like typed/untyped lambda calculus, category theory, general type theory and homotopy type theory. Also helps to learn some programming for computational shenanigans, learn Haskell or Scheme and implement stuff. Learn Coq or Agda, or Lean.

Anonymous at Thu, 16 May 2024 22:03:38 UTC No. 16179000

>>16178555
If you ain't got it, you ain't got it.

Anonymous at Fri, 17 May 2024 18:19:21 UTC No. 16180223

read logic textbooks

Anonymous at Sat, 18 May 2024 05:07:18 UTC No. 16181020

>>16178555
fuck off were full