Literature DB >> 3702472

Axiomatization of genetics. 1. Biological meaning.

M Rizzotti, A Zanardo.   

Abstract

Axiomatization is a trend in science to settle and reduce fundamental assertions, from which all the others are deducible. Classical genetics has been extensively axiomatized and formalized by Woodger (1952), who resorted to 53 axioms and 12 theorems. The molecular settlement of modern genetics provides the basis for a different axiomatic theory. In this paper 3 axioms and 14 theorems are informally expressed. They cover a few elementary laws of "chromosome genetics" in Eukaryotes. The biological problems connected with the further development of this first attempt are discussed.

Mesh:

Substances:

Year:  1986        PMID: 3702472     DOI: 10.1016/s0022-5193(86)80008-x

Source DB:  PubMed          Journal:  J Theor Biol        ISSN: 0022-5193            Impact factor:   2.691


  3 in total

1.  Rethinking Woodger's Legacy in the Philosophy of Biology.

Authors:  Daniel J Nicholson; Richard Gawne
Journal:  J Hist Biol       Date:  2014       Impact factor: 1.326

2.  Zsyntax: a formal language for molecular biology with projected applications in text mining and biological prediction.

Authors:  Giovanni Boniolo; Marcello D'Agostino; Pier Paolo Di Fiore
Journal:  PLoS One       Date:  2010-03-03       Impact factor: 3.240

3.  Formal reasoning about systems biology using theorem proving.

Authors:  Adnan Rashid; Osman Hasan; Umair Siddique; Sofiène Tahar
Journal:  PLoS One       Date:  2017-07-03       Impact factor: 3.240

  3 in total

北京卡尤迪生物科技股份有限公司 © 2022-2023.