Possibility to algorithmically check: yet another reason why current definitions have been selected in elementary mathematics

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Why have serine/threonine/tyrosine kinases been evolutionarily selected in eukaryotic signaling cascades?

The signal transduction systems of eukaryotes are different from those of prokaryotes with respect to their structures and mechanisms. The main signal transduction system of prokaryotes called the two-component system (TCS) is a one-step phosphorelay system composed of a histidine kinase (HK) while the central signal transduction system of eukaryotes called the mitogen-activated protein kinase ...

متن کامل

Preinfarct angina and exercise: yet another reason to stay physically active.

In the past, angina has been considered something bad. Though I still maintain that any ischemia is something the heart should avoid if possible, several studies suggest that preinfarct angina paradoxically may have protective effects (1–7). Our group observed this phenomenon in the Thrombolysis In Myocardial Infarction (TIMI-4) (1) study and then in the TIMI-9 study (2). Preinfarct angina redu...

متن کامل

Patient page. Cigarette smoking and multiple sclerosis (MS): yet another reason to quit.

Even after many years of being studied, the cause of MS is still unknown. It is believed that the disease is probably triggered by a combination of factors that are inherited and are present in the environment. The most likely environmental factor seems to be a virus or other source of infection. However, a specific infection has not yet been identified. In this issue of Neurology, Riise and co...

متن کامل

Yet Another Visit to Paxos

This paper presents a modular introduction to crash-tolerant and Byzantine-tolerant protocols for reaching consensus that use the method introduced by the Paxos algorithm of Lamport and by the viewstamped replication algorithm of Oki and Liskov. The consensus protocol runs a sequence of epoch abstractions as governed by an epoch-change abstraction. Implementations of epoch and epoch-change that...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Applied Mathematical Sciences

سال: 2020

ISSN: 1314-7552,1312-885X

DOI: 10.12988/ams.2020.914307