Lambda C

Haupt Schwerpunkt: Hoare Logik und Grammar Fuzzing für Software- Verifikation und Bug Bounty.

Interessen: Sehr weitgefächert, einschließlich Mathematik, Informatik, Philosophie, Relativität & Elektromagnetismus insbesondere optische Systeme wie Laser.

Babel:
de Diese Person spricht Deutsch als Muttersprache.
en-3 This user is able to contribute with an advanced level of English.
Benutzer nach Sprache

Dieser Benutzer ist tätig im Bereich der Informatik.

X	Diese Person ist Mathematiker.

	Diese Person interessiert die Thematik Philosophie.

Doppelhelix

Diese Benutzerin hält nichts von In­telli­gent-De­sign, denn sie hat die Evo­lutions­theo­rie ver­stan­den.

Ich bedanke mich bei allen, deren Vorlagen ich benutze.

Dieser Benutzer interessiert sich für Forschungsthemen.

*vast*

Dieser Benutzer kommt aus diesem Universum.

*vast*

Dieser Benutzer ist Modal-Realist.

Currently in Progress

Modal Logik und verwandte Seiten.

Barcan-Formel

Long Term

Terminalsymbol - Literaturhinweise und Einzelnachweise hinzufügen, Formulierungen optimieren.

Thompson Konstruktion - Seite über dieses wichtige Verfahren in der Theorie formaler Sprachen und im Compilerbau endlich anlegen.

Unmögliche Welt - Seite erstellen, gehört zur Weltensemantik/ Modallogik.

Angelegte Artikel

Metamath

Mitgearbeitet an folgenden Artikeln

Kernel (Betriebssystem)

Hilbert-Kalkül