Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 3 of 3 for:
logic
2
correctness
1 ?
 21,213,375 websites (safe search)

  1. Michael Meyling

    Verify and Document Mathematical Proofs
    language3
    foundation3
    basic2
    mathematics2
    logic2
    proof2
    formal2
    calculus2
    mathematical1
    logical1
    mathematic1
    conclusion1
    correctness1
    predicate1
    first order1
    michael meyling1
    principia mathematica1

    www.meyling.com - 2009-02-12

  2. Hilbert II - Introduction

    Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier ...
    language3
    foundation3
    check3
    basic2
    documentation2
    mathematics2
    logic2
    proof2
    formal2
    russell2
    calculus2
    verify1
    mathematical1
    whitehead1
    logical1
    ackermann1
    verifier1
    mathematic1
    conclusion1
    hilbert1
    correctness1
    predicate1
    first order1
    bernays1
    michael meyling1
    principia mathematica1
    Hilbert II0

    www.qedeq.org - 2009-02-07

  3. Наукоучение

    Учение о науке и наука познания
    research5
    education5
    natural4
    nature4
    science3
    teaching3
    philosophy3
    truth2
    theory2
    logic2
    metaphysics2
    method2
    cognition2
    methodology2
    scientology1
    doctrine1
    reflection1
    ontology1
    gnosis1
    epistemology1
    criterion1
    epistemologia1
    scientologia1
    correctness1
    axiology1
    ontologia1
    axiologia1
    kholedge0
    noosophia0
    wissenschaftslehre0

    www.noosophia.com - 2009-02-06

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.