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
Klaus Zimmermann :unverified: @kzimmermann@c.im
℉ⅈℕℹℸℽ @finity@infosec.exchange
Joyous @Joyous@mstdn.social
Maciej Barć @xgqt@functional.cafe
𝗖 𝗔 𝗧 @Radical_EgoCom@mastodon.social
koropokkur @koropokkur@nicecrew.digital
Soul Dessin @souldessin@noauthority.social
Pieces of Mathematics @pieces_of_mathematics@mathstodon.xyz
Stephane L Rolland-Brabant ⁂⧖⏚ @stphrolland@mathstodon.xyz
UNDLTD @undltd@tldr.nettime.org
1 2 3 … 10 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