display all the ideas for this combination of texts
1 idea
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
Full Idea: In order to be sure that new expression can be translated into expressions not containing them, it is necessary to have a survey of all possible expressions, and this can be furnished only by syntactical considerations. | |
From: Kurt Gödel (Russell's Mathematical Logic [1944], p.448) | |
A reaction: [compressed] |