Randomness, pseudorandomness and models of arithmetic
Result description
Pseudorandomness plays an important role in number theory, complexity theory and cryptography. Our aim is to use models of arithmetic to explain pseudorandomness by randomness. To this and we construct a set of models M, a common element i of these models and a probability distribution on M, such that for every pseudorandom sequence s, the probability that s(i)=1 holds true in a random model from M is equal to 1/2.
Keywords
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Randomness, pseudorandomness and models of arithmetic
Original language description
Pseudorandomness plays an important role in number theory, complexity theory and cryptography. Our aim is to use models of arithmetic to explain pseudorandomness by randomness. To this and we construct a set of models M, a common element i of these models and a probability distribution on M, such that for every pseudorandom sequence s, the probability that s(i)=1 holds true in a random model from M is equal to 1/2.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
IAA100190902: Mathematical logic, complexity, and algorithms
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
New Studies in Weak Arithmetics
ISBN
978-1-57586-723-6
Number of pages of the result
18
Pages from-to
199-216
Number of pages of the book
221
Publisher name
Center for the Study of Language and Information
Place of publication
Stanford
UT code for WoS chapter
—
Basic information
Result type
C - Chapter in a specialist book
CEP
BA - General mathematics
Year of implementation
2013