Ana Arana
Dados Biográficos
| ID | 1167390 |
|---|---|
| NOME | Ana Arana |
| PRENOMES | Ana |
| SOBRENOME | Arana |
| ASSINATURA | ARANA A |
| AFILIAÇÕES | Centre National de la Recherche Scientifique |
| ORCID | 0000-0002-6837-5576 |
| VERIFICADO | Sim |
| TOTAL DE OBRAS | 9 |
| TOTAL DE CITAÇÕES | 34 |
| TOTAL COMO AUTOR | 9 |
| TOTAL COMO EDITOR | 0 |
| PRIMEIRO ANO DE PUBLICAÇÃO | 2001 |
| ANO MAIS RECENTE DE PUBLICAÇÃO | 2025 |
| ÍNDICE H | 2 |
Changes in home food inventories and food procurement practices during the Covid-19 pandemic
Objective: To examine how home food inventories and food procurement practices changed due to the COVID-19 pandemic. Design: Cross-sectional baseline data from a randomised controlled trial of a home food environment intervention. Telephone interviews were conducted from October 2020 to December 2022. Setting: Four 2–1–1 United Way agencies in Georgia, USA. Participants: 2–1–1 clients ( n 602); 80·6 % identified as Black and 90·9 % as women. Mean…
On the difficulty of discovering mathematical proofs
An account of mathematical understanding should account for the differences between theorems whose proofs are “easy” to discover, and those whose proofs are difficult to discover. Though Hilbert seems to have created proof theory with the idea that it would address this kind of “discovermental complexity”, much more attention has been paid to the lengths of proofs, a measure of the difficulty of verifying of a given formal object that it is a pro…
Mathematical hygiene
Modeling an economic evaluation of a salt fluoridation program in Peru
While the analysis has inherent limitations as a result of its reliance on a range of assumptions, the findings indicate that for the situations prevailing in Peru, there are significant health and economic benefits to be gained from the use of salt fluoridation
Proof Theory in Philosophy of Mathematics
A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics
Logical and Semantic Purity
Many mathematicians have sought ‘pure ’ proofs of theorems. There are different takes on what a ‘pure ’ proof is, though, and it’s important to be clear on their differences, because they can easily be conflated. In this paper I want to distinguish between two of them. I want to begin with a classical formulation of purity, due to Hilbert: In modern mathematics one strives to preserve the purity of the method, i.e. to use in the proof of a theore…
How the Street Gangs Took Central America
The New Battle for Central America
The last time Central America received much play in the American news media was during the 1980s, when the region, one of the Cold War's hot zones, was plagued by civil war. For much of the decade, Sovietand Cuban-backed Marxist insurgencies (and, in one case, a Soviet backed government) fought long and bloody battles against American supported right-wing forces. Once the Cold War ended, however, the superpowers withdrew much of their support fro…
The changing practices of proof in mathematics
How the Street Gangs Took Central America
The New Battle for Central America
The last time Central America received much play in the American news media was during the 1980s, when the region, one of the Cold War's hot zones, was plagued by civil war. For much of the decade, Sovietand Cuban-backed Marxist insurgencies (and, in one case, a Soviet backed government) fought long and bloody battles against American supported right-wing forces. Once the Cold War ended, however, the superpowers withdrew much of their support fro…
The New Battle for Central America
The last time Central America received much play in the American news media was during the 1980s, when the region, one of the Cold War's hot zones, was plagued by civil war. For much of the decade, Sovietand Cuban-backed Marxist insurgencies (and, in one case, a Soviet backed government) fought long and bloody battles against American supported right-wing forces. Once the Cold War ended, however, the superpowers withdrew much of their support fro…
How the Street Gangs Took Central America
Logical and Semantic Purity
Many mathematicians have sought ‘pure ’ proofs of theorems. There are different takes on what a ‘pure ’ proof is, though, and it’s important to be clear on their differences, because they can easily be conflated. In this paper I want to distinguish between two of them. I want to begin with a classical formulation of purity, due to Hilbert: In modern mathematics one strives to preserve the purity of the method, i.e. to use in the proof of a theore…
Proof Theory in Philosophy of Mathematics
A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics
Modeling an economic evaluation of a salt fluoridation program in Peru
While the analysis has inherent limitations as a result of its reliance on a range of assumptions, the findings indicate that for the situations prevailing in Peru, there are significant health and economic benefits to be gained from the use of salt fluoridation
On the difficulty of discovering mathematical proofs
An account of mathematical understanding should account for the differences between theorems whose proofs are “easy” to discover, and those whose proofs are difficult to discover. Though Hilbert seems to have created proof theory with the idea that it would address this kind of “discovermental complexity”, much more attention has been paid to the lengths of proofs, a measure of the difficulty of verifying of a given formal object that it is a pro…
Mathematical hygiene
The changing practices of proof in mathematics
Changes in home food inventories and food procurement practices during the Covid-19 pandemic
Objective: To examine how home food inventories and food procurement practices changed due to the COVID-19 pandemic. Design: Cross-sectional baseline data from a randomised controlled trial of a home food environment intervention. Telephone interviews were conducted from October 2020 to December 2022. Setting: Four 2–1–1 United Way agencies in Georgia, USA. Participants: 2–1–1 clients ( n 602); 80·6 % identified as Black and 90·9 % as women. Mean…
Economics (3 obras) · History and Theory of Mathematics (3 obras) · Mathematical and Theoretical Analysis (3 obras) · Mathematics (3 obras) · Medicine (3 obras) · Political science (3 obras) · Calculus (dental) (2 obras) · Computability, Logic, AI Algorithms (2 obras) · Computer Science (2 obras) · Epistemology (2 obras)