Za skutečný počátek moderní logiky můžeme považovat Fregův spisek Begriffsschrift, ve kterém Frege navrhl cestu, jak reformovat přirozený jazyk, který je médiem naší argumentace, opodstatňování a dokazování (včetně matematického), do podoby přesně vymezené struktury, v jejímž rámci by bylo možné inventarizovat přípustné kroky důkazů. Hilbert poté usoudil, že když už máme strukturu, která vzešla z idealizace přirozeného jazyka, můžeme ji prozkoumat z čistě matematického hlediska; a že v jistém smyslu se můžeme pokusit převést i problém pravdivosti na problém určitého druhu výpočtu.
Místo konání:
posluchárna B1 Univerzity Pardubice (budova Dopravní fakulty Jana Pernera, Studentská 95)
Přednáška profesora Jiřího Cihláře bude komentářem k výsledkům logiky z období okolo poloviny minulého století (Gödel, Tarski, Church a další). Připomeneme si problematiku bezespornosti a úplnosti teorií, odvoditelnosti formulí a jejich pravdivosti v modelech, existenci nestandardních modelů Peanovy aritmetiky, rozhodnutelnosti teorií a další zajímavosti.
Přednáška se koná v Liberci v budově H TUL (Voroněžská ulice) v 5. patře v posluchárně H52 ve 14:30 hodin ve středu 11.5.2011.
Ing. Karel Katovský, Ph.D., který se zabývá fyzikou jaderných reaktorů, bude přednášet o havárii, k níž nedávno došlo v elektrárně Fukušima v důsledku ničivého zemětřesení a tsunami.
Místo konání:
Posluchárna A2 Univerzity Pardubice (budova univerzitní auly v Pardubicích - Polabinách).
Na semináři vystoupí doc. RNDr. Rupert Leitner, DrSc. s přednáškou o výsledcích experimentu ATLAS na urychlovači LHC, prof. RNDr. Petr Kulhánek, CSc. se bude zabývat otázkou, kde jsou hranice kvantového světa a doc. Ing. Štefan Zajac, CSc. bude hovořit o úspěších a problémech fyziky pevných látek. Seminář připravila pardubická pobočka ve spolupráci s Univerzitou Pardubice v rámci projektu Podpora technických a přírodovědných oborů MŠMT ČR.
Místo konání:
Kongresový sál Univerzity Pardubice (budova rektorátu, Studentská 95)
Po šesti desetiletích odhalení struktury nukleových kyselin přináší výzkum nové aplikace, které se přesunuly z domény molekulární biologie do bouřlivě se rozvíjejících nanotechnologií. Seznamme se se základními stavebními kameny nukleových kyselin - nukleotidy. Nechme se okouzlit přesností rozpoznávání na molekulární úrovni - Watsonovým-Crickovým párováním. Ukažme si, jak lze číst informaci zakódovanou v uspořádání nukleových kyselin (včetně nových možností, které přinesl materiál oceněný Nobelovou cenou - grafen) a jak můžeme manipulovat s něčím tak jemným, jako jsou nukleové kyseliny.
Místo konání:
Posluchárna B3 Univerzity Pardubice (budova DFJP, Studentská 95)
