- logical disproof
- мат. логическое опровержение
Большой англо-русский и русско-английский словарь. 2001.
logical disproof
Смотреть что такое "logical disproof" в других словарях:
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… … Wikipedia
Carnap, Rudolf — born May 18, 1891, Ronsdorf, Ger. died Sept. 14, 1970, Santa Monica, Calif., U.S. German born U.S. philosopher. He earned a doctorate in physics at the University of Jena in 1921. In 1926 he was invited to join the faculty of the University of… … Universalium
Reports of organ harvesting from Falun Gong practitioners in China — In March 2006, Falun Gong affiliated media The Epoch Times published a number of articles alleging that the Chinese government and its agencies, including the People s Liberation Army, were conducting widespread and systematic organ harvesting of … Wikipedia
Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as … Wikipedia
Glossary of philosophical isms — This is a list of topics relating to philosophy that end in ism . compactTOC NOTOC A * Absolutism – the position that in a particular domain of thought, all statements in that domain are either absolutely true or absolutely false: none is true… … Wikipedia
Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… … Wikipedia
Entscheidungsproblem — In mathematics, the Entscheidungsproblem (pronounced [ɛntˈʃaɪdʊŋspʁoˌbleːm], German for decision problem ) is a challenge posed by David Hilbert in 1928. The Entscheidungsproblem asks for an algorithm that will take as input a description of a… … Wikipedia
Scientific evidence — is evidence which serves to either support or counter a scientific theory or hypothesis Fact|date=October 2007. Such evidence is expected to be empirical and properly documented in accordance with scientific method such as is applicable to the… … Wikipedia
Law of noncontradiction — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see List of logic symbols. In classical logic, the law of non contradiction (LNC) (or the principle of non contradiction (PNC), or the… … Wikipedia
Scientific method — … Wikipedia
