These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

145 related articles for article (PubMed ID: 30966978)

  • 1. Reshaping the metaphor of proof.
    Vavilov N
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180279. PubMed ID: 30966978
    [TBL] [Abstract][Full Text] [Related]  

  • 2. From mathematical axioms to mathematical rules of proof: recent developments in proof analysis.
    Negri S; von Plato J
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180037. PubMed ID: 30966972
    [TBL] [Abstract][Full Text] [Related]  

  • 3. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem.
    Straßburger L
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180038. PubMed ID: 30966973
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Explanation in mathematical conversations: an empirical investigation.
    Pease A; Aberdein A; Martin U
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180159. PubMed ID: 30966975
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Prolegomena to any theory of proof simplicity.
    Pambuccian V
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180035. PubMed ID: 30966971
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Mathematical proof: from mathematics to school mathematics.
    Rocha H
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180045. PubMed ID: 30966974
    [TBL] [Abstract][Full Text] [Related]  

  • 7. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Identification of proofs via syzygies.
    Malheiro A; Reis JF
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180275. PubMed ID: 30966976
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Visual thinking and simplicity of proof.
    Cain AJ
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180032. PubMed ID: 30966969
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Proof simplification and automated theorem proving.
    Kinyon M
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180034. PubMed ID: 30966970
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Skolem and pessimism about proof in mathematics.
    Cohen PJ
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2407-18. PubMed ID: 16188616
    [TBL] [Abstract][Full Text] [Related]  

  • 12. The solution of the sixth Hilbert problem: the ultimate Galilean revolution.
    D'Ariano GM
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555798
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Hilbert's sixth problem and the failure of the Boltzmann to Euler limit.
    Slemrod M
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555797
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Checking correctness in mathematical peer review.
    Greiffenhagen C
    Soc Stud Sci; 2024 Apr; 54(2):184-209. PubMed ID: 37776165
    [TBL] [Abstract][Full Text] [Related]  

  • 15. On the emergence of the structure of physics.
    Majid S
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555804
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Hilbert's sixth problem: between the foundations of geometry and the axiomatization of physics.
    Corry L
    Philos Trans A Math Phys Eng Sci; 2018 Apr; 376(2118):. PubMed ID: 29555796
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Hilbert's axiomatic method and Carnap's general axiomatics.
    Stöltzner M
    Stud Hist Philos Sci; 2015 Oct; 53():12-22. PubMed ID: 26386526
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Epistemic phase transitions in mathematical proofs.
    Viteri S; DeDeo S
    Cognition; 2022 Aug; 225():105120. PubMed ID: 35405458
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Highly complex proofs and implications of such proofs.
    Aschbacher M
    Philos Trans A Math Phys Eng Sci; 2005 Oct; 363(1835):2401-4; discussion 2404-6. PubMed ID: 16188615
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Paving the cowpath in research within pure mathematics: A medium level model based on text driven variations.
    Heuer K; Sarikaya D
    Stud Hist Philos Sci; 2023 Aug; 100():39-46. PubMed ID: 37329627
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 8.