Kurt Gödel and the mechanization of mathematics

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

Alkuperäiskielienglanti
SanomalehtiTimes Literary Supplement : The leading international weekly for literary culture
TilaJulkaistu - 20 huhtikuuta 2018
OKM-julkaisutyyppiE1 Yleistajuinen artikkeli, sanomalehtiartikkeli

Tieteenalat

  • 111 Matematiikka

Lainaa tätä

@article{66f3cf1bd7fa49a18a7f060f815476f2,
title = "Kurt G{\"o}del and the mechanization of mathematics",
keywords = "111 Mathematics",
author = "Juliette Kennedy",
year = "2018",
month = "4",
day = "20",
language = "English",
journal = "Times Literary Supplement : The leading international weekly for literary culture",
publisher = "The Times Literary Supplement",

}

TY - JOUR

T1 - Kurt Gödel and the mechanization of mathematics

AU - Kennedy, Juliette

PY - 2018/4/20

Y1 - 2018/4/20

KW - 111 Mathematics

UR - https://www.the-tls.co.uk/articles/public/kurt-godel-incompleteness-theorems/

M3 - Article

JO - Times Literary Supplement : The leading international weekly for literary culture

JF - Times Literary Supplement : The leading international weekly for literary culture

ER -