Polski Zjazd Filozoficzny

wrzesień, 2019

śr11wrz10:3011:00O dowodzie w matematyceprof. dr hab. Roman Murawski (Uniwersytet im. Adama Mickiewicza)10:30 - 11:00 CTW-304 (Centrum Transferu Wiedzy) organizator: Sekcja Metodologii i Filozofii Nauki

abstrakt

Przedmiotem referatu jest analiza roli i znaczenia dowodu w matematyce. Rozróżnia się dowody nieformalne i dowody formalne. Podkreśla się, że podstawową funkcją dowodów w praktyce badawczej matematyków jest weryfikacja i wyjaśnianie. Rozważa się problem dopuszczalnych metod w dowodach nieformalnych, w szczególności używanie komputera. Porównuje się cechy dowodu formalnego i nieformalnego podkreślając psychologiczne, socjologiczne i kulturowe aspekty dowodów nieformalnych i akcentując syntaktyczny charakter dowodów formalnych versus semantyczny charakter dowodów nieformalnych.

dzień i godzina

(środa) 10:30 - 11:00

sala

CTW-304 (Centrum Transferu Wiedzy)

organizator

Sekcja Metodologii i Filozofii NaukiPrzewodniczący Sekcji: prof. dr hab. Ryszard Kleszcz (UŁ)
Sekretarz Sekcji: dr Marcin Będkowski (UW)

obradom przewodniczy

prof. dr hab. Ryszard Kleszcz

Uniwersytet Łódzki

Dodaj komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *

Font Resize
Contrast
X