The limit points definition on given topological space \((X,T)\) on finite set (Q2743003)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The limit points definition on given topological space \((X,T)\) on finite set |
scientific article; zbMATH DE number 1651017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The limit points definition on given topological space \((X,T)\) on finite set |
scientific article; zbMATH DE number 1651017 |
Statements
24 September 2001
0 references
proof theory
0 references
automation
0 references
topological space
0 references
algorithm
0 references
structure
0 references
input language
0 references
The limit points definition on given topological space \((X,T)\) on finite set (English)
0 references
The problems of proof theory automaton in topological spaces are considered. Input language, algorithm and structure of program are described. This work was completed in 1965 but so far is not published. Implementation is done on the computer M-20.
0 references
