Scientific journal "The News of Altai State University". 2010 #1-2(65). Mathematics and Mechanics.

Scientific journal of the
theoretical and applied
researches

Print ISSN 1561-9443
On-line ISSN 1561-9451

Issues list
	Content of 1-2(65) 2010
		Management, Computer Facilities and Computer Science
		Mathematics and Mechanics
		Physics

1-2(65)

2010

$Mathematics and Mechanics$

Previous | Next

V.A. Ganov, R.V. Degtereva

Non-standard Forcing: Veritable and Conventional Ideas

The research paper studies non-standard forcing method definitions demonstrating an essential difference between forcing and truth relations. Examples are given to show forced pairs of contradictory statements. The authors offer an unusual interpretation of forcing as a method of indistinct notions expert evaluation.

Key words: forcing method, formal arithmetic, the truth.

Full text at PDF, 322Kb. Language: russian.

Print Edition of "The News of Altai State University" copyright 1996-2010 Altai State University.
All rights reserved. Any of parts of a journal or edition as a whole cannot be reprinted without the written sanction of the authors or publisher. On purchase of a journal to address to ASU publishing house:
Altai State University. 656039, 66 Dimitrova street, Barnaul, Russia. Telephone + 7 (3852) 366351.