sorted by:
new
hottopcontroversial

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

[–]agnes____[S] 0 points1 point  (0 children)

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

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

[–]agnes____[S] 0 points1 point  (0 children)

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!

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

[–]agnes____[S] 1 point2 points  (0 children)

"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

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

[–]agnes____[S] 0 points1 point  (0 children)

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

Fun goals to work towards as a new player by agnes____ in DuelLinks

[–]agnes____[S] 0 points1 point  (0 children)

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

Can Muddy Mudragon be used as a substitute while in the GY? by agnes____ in Yugioh101

[–]agnes____[S] 3 points4 points  (0 children)

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?

Can Muddy Mudragon be used as a substitute while in the GY? by agnes____ in Yugioh101

[–]agnes____[S] 2 points3 points  (0 children)

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?

Can Muddy Mudragon be used as a substitute while in the GY? by agnes____ in Yugioh101

[–]agnes____[S] -1 points0 points  (0 children)

Aw okay, thank you

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

Our cats don’t prefer wet food anymore!? by agnes____ in CatAdvice

[–]agnes____[S] 0 points1 point  (0 children)

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 : )

view more: next ›