BraveEgret318
VerifiedEnthusiast (self-declared)
I'm Ryan Simonelli, a philosopher and logician working on weird proof systems for weird logics.
Member since 04 Aug 2026
- Website ryansimonelli.com
- Contributions
- 2
- Entries
- 2
- Comments
- 0
- Edits
- 0
- Entry score
- +0
Entries
- Nontriviality of number-restricted arithmetic over subDMQ
DisprovedSolved 2026-09-10Score +0
- Signed Depth Relevance of subDL
ProvedSolved 2026-08-04Score +0
Comments
No comments yet.
Recent edits
No edits yet.