Další zprávy
Zrod moderní logiky Pá 6.5.2011
Matematika | Fyzika | Seminář | Pardubický kraj |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. Omezení, na která Hilbertův ambiciózní program naráží, pak předvedl Gödel, který tím také ukázal nutnost jasnějšího uchopení vztahu mezi syntaxí a sémantikou, než jaký byl do té doby běžný. Na uchopení sémantiky v rámci logické teorie pak usilovně pracoval Tarski, který tak víceméně završil vybudování toho, co dnes vnímáme jako základní rámec moderní formální logiky. Vztah takto konstituované matematické logiky k původní agendě logiky, jakožto teorie argumentace, opodstatňování a dokazování, však zdaleka není neproblematický.
Místo konání: posluchárna B1 Univerzity Pardubice (budova Dopravní fakulty Jana Pernera, Studentská 95)
Datum konání: 12. Květen 2011 - 17:00 - 19:00
Forma akce: přednáška
přilohy
Související články:
Pomohou látky z olomouckých laboratoří vyhrávat boj s rakovinou? Pá 11.5.2012
Zúčastněte se neformální debaty s prof. Miroslavem Strnadem. Přijďte si vychutnat šálek horké lékařské vědy ve středu 16. května od 18 hodin do Café Na zábradlí (28. října, naproti Prioru). Besedu MediCafé organizuje studentská organizace IFMSA Olomouc.
Medicína | Seminář | Olomoucký kraj | Univerzita Palackého v Olomouci
Blíží se konec antibiotické éry? Čt 10.5.2012
10. květen 2012, 18:00 - Startuje první olomoucké MediCafé! IFMSA Olomouc vám přináší jedinečnou možnost neformálně podebatovat s odborníkem na slovo vzatým díky projektu MediCafé!
Medicína | Seminář | Olomoucký kraj | Univerzita Palackého v Olomouci
150 let Jednoty českých matematiků a fyziků Po 26.3.2012
28. března roku 2012 si připomeneme 150. výročí založení Jednoty českých matematiků a fyziků. Vyvrcholením oslav výročí budou akce pořádané 28. března v Praze pod záštitou řady významných osobností, například prezidenta České republiky Václava Klause či předsedy Akademie věd ČR Jiřího Drahoše.
Matematika | Fyzika | Avízo |Partneři
