Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Logical basis for mathematics<br />
Gottlob Frege (1848-1925)<br />
in 1879, Begriffschrift<br />
(boolean c<strong>on</strong>nectives ... but also quantifiers, relati<strong>on</strong>s, functi<strong>on</strong>s)<br />
beginnings <str<strong>on</strong>g>of</str<strong>on</strong>g> first order logic<br />
Frege the first to distinguish between syntax and semantics.<br />
David Hilbert (1862-1943) ... wanted logical basis for mathematics<br />
Alfred Whitehead (1861-1947), Bertrand Russell (1872-1970):<br />
Principia mathematica (1910-1913)<br />
Petr Jančar (TU Ostrava) <str<strong>on</strong>g>Some</str<strong>on</strong>g> <str<strong>on</strong>g>aspects</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>verificati<strong>on</strong></str<strong>on</strong>g> Kolloquium Jena, 14 May 2007 6 / 89