Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Algebraic Methods of Mathematical Logic /
Autor:		Rieger, Ladislav
Rok vydání:
Identifikátory:		cnb000444994 2655859

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	V úvodních statích charakterizuje autor matematickou logiku a zabývá se dialektikou vztahu mezi matematickými a metamatematickými aspekty. Věnuje pozornost konstruktivismu v metamatematice, vztahům mezi matematikou a filosofií a zvláště vztahu mezi logicismem a intuicionismem. V dalších kapitolách pojednává o symbolizaci gramaticky a frazeologicky často komplikovaného jazykového vyjádření matematického textu, sleduje logickou syntaxi i sémantiku konstrukce matematické logiky, probírá axiomatiku a Gödelovu aritmetizaci a Tarského a Mostowského algebraizaci matematických teorií. Uvádí algebraickou teorii predikativní, logiky a problematiku algebry Booleovy aLindenbaumovy.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)