Reviews: Pour-El and Richards 'A computable differential equation which possesses no computable solution' (1979), and 'The wave equation, with computable initial data such that its unique solution' (1981). Kreisel, G. 47:900–902, 1982. bibtex @ARTICLE{Kre82,
author = {Kreisel, G.},
title = {Reviews: {P}our-{E}l and {R}ichards '{A} computable differential
equation which possesses no computable solution' (1979), and 'The
wave equation, with computable initial data such that its unique
solution' (1981)},
journal = JSL,
year = {1982},
volume = {47},
pages = {900--902},
keywords = {bib,cca}
}
Downloads: 0
{"_id":"Csrdmt78MkM4Y2FWf","bibbaseid":"kreisel-reviewspourelandrichardsacomputabledifferentialequationwhichpossessesnocomputablesolution1979andthewaveequationwithcomputableinitialdatasuchthatitsuniquesolution1981-1982","authorIDs":[],"author_short":["Kreisel, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kreisel"],"firstnames":["G."],"suffixes":[]}],"title":"Reviews: Pour-El and Richards 'A computable differential equation which possesses no computable solution' (1979), and 'The wave equation, with computable initial data such that its unique solution' (1981)","year":"1982","volume":"47","pages":"900–902","keywords":"bib,cca","bibtex":"@ARTICLE{Kre82,\r\n author = {Kreisel, G.},\r\n title = {Reviews: {P}our-{E}l and {R}ichards '{A} computable differential\r\n\tequation which possesses no computable solution' (1979), and 'The\r\n\twave equation, with computable initial data such that its unique\r\n\tsolution' (1981)},\r\n journal = JSL,\r\n year = {1982},\r\n volume = {47},\r\n pages = {900--902},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Kreisel, G."],"key":"Kre82","id":"Kre82","bibbaseid":"kreisel-reviewspourelandrichardsacomputabledifferentialequationwhichpossessesnocomputablesolution1979andthewaveequationwithcomputableinitialdatasuchthatitsuniquesolution1981-1982","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.863Z","downloads":0,"keywords":["bib","cca"],"search_terms":["reviews","pour","richards","computable","differential","equation","possesses","computable","solution","1979","wave","equation","computable","initial","data","such","unique","solution","1981","kreisel"],"title":"Reviews: Pour-El and Richards 'A computable differential equation which possesses no computable solution' (1979), and 'The wave equation, with computable initial data such that its unique solution' (1981)","year":1982,"dataSources":["t7rKiAbxugj4Agz8M"]}