Profile directory About Mobile apps
Log in Sign up

Magos Logis Logan @jmw150@qoto.org

762 Posts
120 Following
184 Followers
Follow
Background
Logic, Mathematics, Electronics
Hobbies
Philosophy, Programming, Video Games

I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.

Current events I try to keep up on
- Math Logic community (The Journal of Symbolic Logic)
- Statistics community (JASML, AoS)
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- Formal Methods community (CAV/TACAS)

Passing the learning curve up to current events
- Abstract Algebra (Dummit, Foote)
- Commutative Algebra (Eisenbud)
- Algebraic Geometry (Hartshorne)
- Mathematical Logic (Mendelson)
- Model Theory (Marker)

Joined Aug 2020
120 Following 184 Followers
Their motto is deception. @SiRrogueKnight@noauthority.social
flewkey @flewkey@layer8.space
Adam Nelson @adam@nels.onl
lucasdesigns @lucasdesigns@c.im
sullybiker @sullybiker@fedi.thespinning.top
Joyous @Joyous@mstdn.social
Hombretextual @hombretextual@hispagatos.space
Stephane L Rolland-Brabant ⁂⧖⏚ @stphrolland@mathstodon.xyz
hyolo @hyolo@den.raccoon.quest
Pieces of Mathematics @pieces_of_mathematics@mathstodon.xyz
Soul Dessin @souldessin@noauthority.social
koropokkur @koropokkur@nicecrew.digital
1 2 3 … 16 Next

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

qoto.org

  • About
  • v3.5.19-qoto

More…

  • Source code
  • Mobile apps
v3.5.19-qoto · Privacy policy