Hopp til hovedinnhold
Universitetet i Bergen
Meny
Studier
Forskning
Om UiB
Museum
Bibliotek
For studenter
For ansatte
English
Norsk
Lukk
Søkefelt
Filtrer på innhold
Alt innhold
Nyheter
Studier
Arrangementer
Personer
Ansattsider
Choose what results to return
Studier
Forskning
Om UiB
Museum
Bibliotek
For studenter
For ansatte
Institutt for filosofi og førstesemesterstudier
Utdanning
Filosofi
Studier i filosofi
Emner
Yrkesveier
Examen philosophicum
Utveksling
Forskning
Forskningsgrupper
Forskningsprosjekter
Publikasjoner
Bergensnettverket for kvinner i filosofi
Ph.d. i filosofi
Formidling
Nettressurser i filosofi og idéhistorie
Nettsider om og av bergensfilosofer
Om instituttet
Strategiplan 2023 - 2030
Ledelse og organisasjon
Semesternytt (FoF-bulletin) og årsmeldinger
Instituttrådet
Instituttets historie
Kontakt
Vitenskapelig ansatte
Administrativt ansatte
Emeriti
Kart
Utdanning
Filosofi
Studier i filosofi
Emner
Yrkesveier
Examen philosophicum
Utveksling
Forskning
Forskningsgrupper
Forskningsprosjekter
Publikasjoner
Bergensnettverket for kvinner i filosofi
Ph.d. i filosofi
Formidling
Nettressurser i filosofi og idéhistorie
Nettsider om og av bergensfilosofer
Om instituttet
Strategiplan 2023 - 2030
Ledelse og organisasjon
Semesternytt (FoF-bulletin) og årsmeldinger
Instituttrådet
Instituttets historie
Kontakt
Vitenskapelig ansatte
Administrativt ansatte
Emeriti
Kart
UiB
HF
Institutt for filosofi og førstesemesterstudier
Kalender
Konferanse
Mathematical Proof in the Age of AI. Conceptual Implications of the Use of Artificial Intelligence in Mathematical Research
Hovedinnhold
Mer informasjon kommer.
Konferanse
07.10.2026 - 09.00
–
08.10.2026 - 16.00
Sydnesplassen 12-13, seminarrom i 1. etg.
Sorin Bangu
Legg til i din egen kalender
Twitter
LinkedIn
Facebook
09.04.2026
