fizinfo AT lists.kfki.hu

Subject: ELFT HÍRADÓ

List archive

[Fizinfo] BME TTK Science Campus okt 18: Molnár Zoltán Gábor: Bizonyítás, az emberin túl

From: Janos Asboth <asboth.janos AT ttk.bme.hu>
To: fizinfo AT lists.kfki.hu, elmfiz.oktatok-kutatok AT lists.bme.hu, atomfiz.oktatok-kutatok AT lists.bme.hu, fizika.oktatok-kutatok AT lists.bme.hu
Subject: [Fizinfo] BME TTK Science Campus okt 18: Molnár Zoltán Gábor: Bizonyítás, az emberin túl
Date: Mon, 14 Oct 2024 14:07:11 +0200
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ttk.bme.hu; dmarc=pass action=none header.from=ttk.bme.hu; dkim=pass header.d=ttk.bme.hu; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=yWSSekzrQT34uDa/NjtomLA5jakt02+NfByUn/prjbA=; b=TV73W3+SyspFhf5ISIxJhRyx7Ro8r7qswmGUSRxiZkdrqUiNVOW1s/sk47DMKHKdpbFNXaD3Sn6Q3lPOqp+ik7k4Bw73g9uGws53zYgjVVhgP+6/6KIxs0djxn9rSqbo8nUt0SxFxuCG2taX+N/oLgPG5TEdZVxlq7Ldr/wRIMGYE/N4l26UTs6fCOy1CtAZbxMeTQ0qTR2qfJryBcA1HVMij5azbvjgLCwK5O6cVv6WOp0bKV4KZN6REWbXhQvH0M3VN24ov+boiRoH9wuqWZpbkMlXZJ6wMpodH8X6j3UtQtG8PiUMiZWRizeuBdL3RnLfjxl4rxg3JlDKjqSyRA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=b7LTqKOITziy1s3YvVlV9y8hFRVAlXn0zqlbuosK1edc78yXYp34c+7mSmUBjERv/7T0haSHJ8aMKis4bhV0H7SrD2x6VVJkzY3G8+VKbbPv0xfgCLYI8KwA04uFqhZ6Ig9s1UIaUpJFlb/S9UcNxmY/OC9xxVFvFQ9byOfL7rZC5mFnpQ5b+ujvzxhLdJC8vz+ifFtZixhp9UsOO7wJy428PyZrl76CjDn9QTJDVIcN8GKjNNkH5kDBMpFcGnooYefmAeQtZROu3gFNJBIozvX6d+X+Z1qqU9dM95vPXelwQ33hva1Biyd4oX8QjDG++KowuSro/12EMUH8fq1ioA==
Authentication-results: smtp012.wigner.hu (amavis); dkim=pass (2048-bit key) header.d=ttk.bme.hu
Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=ttk.bme.hu;

Kedves Kollégák, Diákok!

Szeretettel hívunk meg minden érdeklődőt a BME TTK ScienceCampus
tudománynépszerűsítő előadássorozat következő előadására:

Molnár Zoltán Gábor (BME TTK Algebra és Geometria Tanszék):
Bizonyítás, az emberin túl

október 18. péntek 16.00-17.00
helyszín: BME TTK F épület, F3213-as terem

A gépi tételbizonyítás sikere vitát indított el a matematikai közösségben.
A fő kérdés: vajon teljes mértékben megbízhatunk-e egy olyan bizonyításban,
amelyet nem tudunk teljes egészében az emberi percepcióra és a tiszta észre
hagyatkozva ellenőrizni? Molnár Zoltán Gábor előadása filozófiai
problémákat is felvet, miközben bevezetést kapunk a Lean és Coq
programnyelvekbe, ill. a bizonyításasszisztens szoftverek elvébe, érintve a
mesterséges intelligencia jövőbeni fejlődését.

További információ és megközelítés:
https://felvi.ttk.bme.hu/hu/sciencecampus

Az előadássorozat FB oldala:
https://www.facebook.com/BME.TTK.ScienceCampus/

Az előadásokkal elsősorban a természettudományok iránt érdeklődő
középiskolás korosztályt célozzuk meg, de természetesen minden érdeklődőt
szeretettel
várunk!

Asbóth János
BME TTK Fizikai Intézet, Science Campus koordinátor

[Fizinfo] BME TTK Science Campus okt 18: Molnár Zoltán Gábor: Bizonyítás, az emberin túl, Janos Asboth, 10/14/2024