🧵 Untitled Thread
Anonymous at Wed, 17 Jul 2024 16:22:27 UTC No. 16285193
Any good resource to learn logic notations, as in metalanguage and first order, which are used in proofs and other stuff?
Anonymous at Wed, 17 Jul 2024 16:32:42 UTC No. 16285204
No. There are none.
Anonymous at Wed, 17 Jul 2024 16:36:42 UTC No. 16285207
>>16285193
https://www.people.vcu.edu/~rhammac
purty good resource anon. Use it as a jumping point.
Anonymous at Wed, 17 Jul 2024 16:56:21 UTC No. 16285228
>>16285207
thx!
Anonymous at Wed, 17 Jul 2024 20:33:22 UTC No. 16285534
>>16285207
kys, this is a book for highschoolers to get used to mathematical abstraction. Not a book on logic.
>>16285193
read Ebbinghaus's book on mathematical logic or Girard's "the blind spot"
Anonymous at Thu, 18 Jul 2024 12:26:40 UTC No. 16287094
>>16285534
That's huge, thanks, I already had trouble even finding the different examples with logic in the other book lmao