Skip to content
View ajfig87-ops's full-sized avatar

Block or report ajfig87-ops

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. NeuroVigilance NeuroVigilance Public

    NeuroVigilance: A security-focused platform combining NLP redaction, encryption, and infrastructure observability to protect sensitive data.

    Python

  2. RL_for_RH RL_for_RH Public

    Symbolic RL agent trained to generalize in analytical math.

    Python

  3. godel-mersenne-proof godel-mersenne-proof Public

    This repository contains a novel proof showing that the Gödel sentence of ZFC implies the truth of every Decrease-sensitive Π₁ conjecture, including the infinitude of Mersenne primes. Co-authored w…

  4. the_third_incompleteness_theorem the_third_incompleteness_theorem Public

    The sentence Ω := ZFC ∨ “there exists an ordinal > continuum” proves Con(ZFC) and every computably falsifiable Π₁ conjecture — Mersenne, Goldbach, twin primes, bounded gaps. ZFC is the exact thresh…

  5. threshold-omega threshold-omega Public

    The sentence Ω = ZFC ∨ “ordinal > continuum” is true in every universe and proves Con(ZFC) and every computably falsifiable Π₁ conjecture.

  6. omega-trilogy omega-trilogy Public

    The three papers that prove ZFC is the unique minimal system for effective arithmetic truth, Ω is the threshold sentence, and there are exactly continuum many Gödel sentences.