منابع مشابه
Things that can be made into themselves
One says that a property P of sets of natural numbers can be made into itself iff there is a numbering α0, α1, . . . of all left-r.e. sets such that the index set {e : αe satisfies P} has the property P as well. For example, the property of being Martin-Löf random can be made into itself. Herein we characterize those singleton properties which can be made into themselves. A second direction of ...
متن کاملThe Circle That Never Ends: Can Complexity Be Made Simple?
There is no need to try to ease into the discussion because the issue being discussed here is too involved to waste words that way. It is important to get right to the point. The starting premise is that we seek to understand the world in which we live. This leads immediately to a whole set of related premises that define the problem as being the answer to the question “how we can obtain that w...
متن کاملWhat Is the Smallest Saturated Acyclic Alkane that Cannot Be Made?
Saturated acyclic alkanes may show a high degree of strain if they have many branches close to each other. We report calculations which indicate how strained a molecule may become before it falls apart rapidly at room temperature and so allow us to identify the simplest alkane which cannot be made.
متن کاملHow Can Java Be Made Blind-Friendly
The widely used and highly popular Java programming language is proved to be a great tool for developing platform independent applications. Everyday users mostly encounter them when using portable devices (mobile phones, PDAs, etc). However, the ordinary Java applications are inaccessible for the blind in general. Even the most used screen readers can only be enabled to handle GUI elements of a...
متن کاملTimed Automata Can Always Be Made Implementable
Timed automata follow a mathematical semantics, which assumes perfect precision and synchrony of clocks. Since this hypothesis does not hold in digital systems, properties proven formally on a timed automaton may be lost at implementation. In order to ensure implementability, several approaches have been considered, corresponding to different hypotheses on the implementation platform. We addres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Mathematics Research Notices
سال: 2015
ISSN: 1073-7928,1687-0247
DOI: 10.1093/imrn/rnv109