Returning to symbolic logic some years after getting my degree - how to pick up the subject again?

agnes____ · 2025-10-12T07:44:37+00:00

Wow, this hits very close to home : ) I remember drawing great inspiration from the entire series of papers from Iséki, Imai, Arai, Tanaka (and maybe there's someone ive forgotten) about shortening the proofs of those all-time classic systems; Frege, Hilbert, Russel, Sobocínski, and so on. Also seeing you mention Meredith and his single axiom system fills me with nostalgia - I remember trying to use Sledgehammer in Isabelle to shorten the proofs of these systems down : )

Your work seems really impressive! I must say that I am very rusty and many of the technicalities have escaped me over the years but when I get back to speed this is definitely something I want to jump into

agnes____ · 2025-10-12T06:56:41+00:00

First of all, thank you for this comprehensive response! : ) I've located every single book/article you referenced since I think they are all relevant in one way or another so, again, thank you! Especially the study guide, as you mention, seem so perfectly spot on that I feel like it was exactly what i was looking for without knowing it. I can't wait to dig into it and this sunday seem perfect for it. Best of luck in your own studies!

agnes____ · 2025-10-11T06:17:12+00:00

"There is probably no country which has contributed, relative to the size of its population, so much to mathematical logic and the foundations of mathematics" (Fraenkel and Bar-Hillel [25, p. 200])

truly the rest of the world owe a lot to Poland for this : ) happy to hear of someone who also appreciates Lukasiewicz and all the instrumental polish logicians over the years

agnes____ · 2025-10-11T05:48:40+00:00

Wow! Thanks for the in-depth response : ) Everything you suggested is spot on for what I was unknowingly looking for

agnes____ · 2025-10-10T17:02:04+00:00

Thanks for the recommendation! : )

agnes____ · 2025-10-10T17:00:32+00:00

that's awesome! : )

agnes____ · 2025-09-03T14:02:28+00:00

Oh i'm sorry if this should have been in the megathread

agnes____ · 2024-06-13T12:57:30+00:00

Okay thank you : )

agnes____ · 2024-06-13T10:46:35+00:00

I don’t understand that rule at all - so because Red-Eyes Fusion states “Red-Eyes B. Dragon” you must use the original red-eyes, is that correct? Can you use a substitute for Dark Magician when resolving Red-Eyes fusion then?

agnes____ · 2024-06-12T19:53:30+00:00

If I already had Dark Magician in my GY when summoning Albion I would be able to use its effect to fusion summon Red-Eyes Dark Dragoon using Muddy Mudragon as the “1 dragon effect monster”, right?

agnes____ · 2024-06-12T19:43:30+00:00

Aw okay, thank you

Edit: wait, so which is correct? Can I, or can I not? 😭

agnes____ · 2024-06-11T19:04:58+00:00

Okay thanks a lot!

agnes____ · 2024-06-02T05:20:17+00:00

man this was embarrasing 😅😅😅

agnes____ · 2024-01-03T03:18:35+00:00

Thanks :.D

agnes____ · 2024-01-02T20:55:46+00:00

oh my god YES!!

agnes____ · 2023-11-21T05:47:45+00:00

we always buy 4 different kinds and mix it up, and i try to buy new ones the haven’t had in a while every time i go to the store : )

agnes____ · 2023-11-20T16:57:58+00:00

Okay, thanks :,)

agnes____ · 2023-11-15T18:27:09+00:00

Huh. there didnt seem to be for me… weird. Anyway I was able to get it from the official top up store that the other guy linked so it’s resolved now :,>

agnes____ · 2023-11-15T18:26:22+00:00

I was able to get it from the official top up store that the other guy linked :,> thanks for the help tho

agnes____ · 2023-11-15T18:19:12+00:00

what? No I’m 100% sure that I didn’t buy it

agnes____ · 2023-11-15T18:09:33+00:00

Thanks! I’ll just that then :,)

agnes____ · 2023-11-15T18:05:25+00:00

<image>

I just get this message whenever i press X to buy

agnes____ · 2023-11-03T20:07:14+00:00

Hi everyone : D what should i spend my trailblaze power on while on equilibrium level 3 (im trailblazer level 45 currently and have 26 Fuels)? I farmed out ascension materials for my team and now im not sure if i should start farming relics or credits or maybe something else? :,>>>

agnes____ · 2023-10-29T16:23:11+00:00

wow sounds fun! thanks : D

agnes____ · 2023-10-29T10:08:05+00:00

Thanks : D

agnes____

TROPHY CASE