The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

Spinal involvement in mucopolysaccharidosis IVA (Morquio-Brailsford or Morquio A syndrome): presentation, diagnosis and management.

Mucopolysaccharidosis IVA (MPS IVA), also known as Morquio-Brailsford or Morquio A syndrome, is a lysosomal storage disorder caused by a deficiency of the enzyme N-acetyl-galactosamine-6-sulphate sulphatase (GALNS). MPS IVA is multisystemic but manifests primarily as a progressive skeletal dysplasia. Spinal involvement is a major cause of morbidity and mortality in MPS IVA. Early diagnosis and timely treatment of problems involving the spine are critical in preventing or arresting neurological deterioration and loss of function. This review details the spinal manifestations of MPS IVA and describes the tools used to diagnose and monitor spinal involvement. The relative utility of radiography, computed tomography (CT) and magnetic resonance imaging (MRI) for the evaluation of cervical spine instability, stenosis, and cord compression is discussed. Surgical interventions, anaesthetic considerations, and the use of neurophysiological monitoring during procedures performed under general anaesthesia are reviewed. Recommendations for regular radiological imaging and neurologic assessments are presented, and the need for a more standardized approach for evaluating and managing spinal involvement in MPS IVA is addressed

Stable isotope evidence for late medieval (14th-15th C) origins of the eastern Baltic cod (Gadus morhua) fishery

Although recent historical ecology studies have extended quantitative knowledge of eastern Baltic cod (Gadus morhua) exploitation back as far as the 16th century, the historical origin of the modern fishery remains obscure. Widespread archaeological evidence for cod consumption around the eastern Baltic littoral emerges around the 13th century, three centuries before systematic documentation, but it is not clear whether this represents (1) development of a substantial eastern Baltic cod fishery, or (2) large-scale importation of preserved cod from elsewhere. To distinguish between these hypotheses we use stable carbon and nitrogen isotope analysis to determine likely catch regions of 74 cod vertebrae and cleithra from 19 Baltic archaeological sites dated from the 8th to the 16th centuries. δ¹³C and δ¹⁵N signatures for six possible catch regions were established using a larger sample of archaeological cod cranial bones (n = 249). The data strongly support the second hypothesis, revealing widespread importation of cod during the 13th to 14th centuries, most of it probably from Arctic Norway. By the 15th century, however, eastern Baltic cod dominate within our sample, indicating the development of a substantial late medieval fishery. Potential human impact on cod stocks in the eastern Baltic must thus be taken into account for at least the last 600 years.The research was funded by the Leverhulme Trust (grant no. F/00 224/S), the History of Marine Animal Populations project (supported by the Alfred P. Sloan Foundation) and the McDonald Institute for Archaeological Research

Surfactant protein D modulates HIV infection of both T-cells and dendritic cells

Surfactant Protein D (SP-D) is an oligomerized C-type lectin molecule with immunomodulatory properties and involvement in lung surfactant homeostasis in the respiratory tract. SP-D binds to the enveloped viruses, influenza A virus and respiratory syncytial virus and inhibits their replication in vitro and in vivo. SP-D has been shown to bind to HIV via the HIV envelope protein gp120 and inhibit infectivity in vitro. Here we show that SP-D binds to different strains of HIV (BaL and IIIB) and the binding occurs at both pH 7.4 and 5.0 resembling physiological relevant pH values found in the body and the female urogenital tract, respectively. The binding of SP-D to HIV particles and gp120 was inhibited by the presence of several hexoses with mannose found to be the strongest inhibitor. Competition studies showed that soluble CD4 and CVN did not interfere with the interaction between SP-D and gp120. However, soluble recombinant DC-SIGN was shown to inhibit the binding between SP-D and gp120. SP-D agglutinated HIV and gp120 in a calcium dependent manner. SP-D inhibited the infectivity of HIV strains at both pH values of 7.4 and 5.0 in a concentration dependent manner. The inhibition of the infectivity was abolished by the presence of mannose. SP-D enhanced the binding of HIV to immature monocyte derived dendritic cells (iMDDCs) and was also found to enhance HIV capture and transfer to the T-cell like line PM1. These results suggest that SP-D can bind to and inhibit direct infection of T-cells by HIV but also enhance the transfer of infectious HIV particles from DCs to T-cells in vivo

Predicting consumer biomass, size-structure, production, catch potential, responses to fishing and associated uncertainties in the world's marine ecosystems

Existing estimates of fish and consumer biomass in the world’s oceans are disparate. This creates uncertainty about the roles of fish and other consumers in biogeochemical cycles and ecosystem processes, the extent of human and environmental impacts and fishery potential. We develop and use a size-based macroecological model to assess the effects of parameter uncertainty on predicted consumer biomass, production and distribution. Resulting uncertainty is large (e.g. median global biomass 4.9 billion tonnes for consumers weighing 1 g to 1000 kg; 50% uncertainty intervals of 2 to 10.4 billion tonnes; 90% uncertainty intervals of 0.3 to 26.1 billion tonnes) and driven primarily by uncertainty in trophic transfer efficiency and its relationship with predator-prey body mass ratios. Even the upper uncertainty intervals for global predictions of consumer biomass demonstrate the remarkable scarcity of marine consumers, with less than one part in 30 million by volume of the global oceans comprising tissue of macroscopic animals. Thus the apparently high densities of marine life seen in surface and coastal waters and frequently visited abundance hotspots will likely give many in society a false impression of the abundance of marine animals. Unexploited baseline biomass predictions from the simple macroecological model were used to calibrate a more complex size- and trait-based model to estimate fisheries yield and impacts. Yields are highly dependent on baseline biomass and fisheries selectivity. Predicted global sustainable fisheries yield increases ≈4 fold when smaller individuals (< 20 cm from species of maximum mass < 1kg) are targeted in all oceans, but the predicted yields would rarely be accessible in practice and this fishing strategy leads to the collapse of larger species if fishing mortality rates on different size classes cannot be decoupled. Our analyses show that models with minimal parameter demands that are based on a few established ecological principles can support equitable analysis and comparison of diverse ecosystems. The analyses provide insights into the effects of parameter uncertainty on global biomass and production estimates, which have yet to be achieved with complex models, and will therefore help to highlight priorities for future research and data collection. However, the focus on simple model structures and global processes means that non-phytoplankton primary production and several groups, structures and processes of ecological and conservation interest are not represented. Consequently, our simple models become increasingly less useful than more complex alternatives when addressing questions about food web structure and function, biodiversity, resilience and human impacts at smaller scales and for areas closer to coasts

A proposal for a coordinated effort for the determination of brainwide neuroanatomical connectivity in model organisms at a mesoscopic scale

In this era of complete genomes, our knowledge of neuroanatomical circuitry remains surprisingly sparse. Such knowledge is however critical both for basic and clinical research into brain function. Here we advocate for a concerted effort to fill this gap, through systematic, experimental mapping of neural circuits at a mesoscopic scale of resolution suitable for comprehensive, brain-wide coverage, using injections of tracers or viral vectors. We detail the scientific and medical rationale and briefly review existing knowledge and experimental techniques. We define a set of desiderata, including brain-wide coverage; validated and extensible experimental techniques suitable for standardization and automation; centralized, open access data repository; compatibility with existing resources, and tractability with current informatics technology. We discuss a hypothetical but tractable plan for mouse, additional efforts for the macaque, and technique development for human. We estimate that the mouse connectivity project could be completed within five years with a comparatively modest budget.Comment: 41 page

Entrepreneurs’ age, institutions, and social value creation goals: a multi-country study

This study explores the relationship between an entrepreneur's age and his/her social value creation goals. Building on the lifespan developmental psychology literature and institutional theory, we hypothesize a U-shaped relationship between entrepreneurs’ age and their choice to create social value through their ventures, such that younger and older entrepreneurs create more social value with their businesses while middle age entrepreneurs are relatively more economically and less socially oriented with their ventures. We further hypothesize that the quality of a country’s formal institutions in terms of economic, social, and political freedom steepen the U-shaped relationship between entrepreneurs’ age and their choice to pursue social value creation as supportive institutional environments allow entrepreneurs to follow their age-based preferences. We confirm our predictions using multilevel mixed-effects linear regressions on a sample of over 15,000 entrepreneurs (aged between 18 and 64 years) in 45 countries from Global Entrepreneurship Monitor data. The findings are robust to several alternative specifications. Based on our findings, we discuss implications for theory and practice, and we propose future research directions

Influence of a montmorency cherry juice blend on indices of exercise-induced stress and upper respiratory tract symptoms following marathon running—a pilot investigation

Background: Prolonged exercise, such as marathon running, has been associated with an increase in respiratory mucosal inflammation. The aim of this pilot study was to examine the effects of Montmorency cherry juice on markers of stress, immunity and inflammation following a Marathon. Methods: Twenty recreational Marathon runners consumed either cherry juice (CJ) or placebo (PL) before and after a Marathon race. Markers of mucosal immunity secretory immunoglobulin A (sIgA), immunoglobulin G (IgG), salivary cortisol, inflammation (CRP) and self-reported incidence and severity of upper respiratory tract symptoms (URTS) were measured before and following the race. Results: All variables except secretory IgA and IgG concentrations in saliva showed a significant time effect (P < 0.01). Serum CRP showed a significant interaction and treatment effect (P < 0.01). The CRP increase at 24 and 48 h post-Marathon was lower (P < 0.01) in the CJ group compared to PL group. Mucosal immunity and salivary cortisol showed no interaction effect or treatment effect. The incidence and severity of URTS was significantly greater than baseline at 24 h and 48 h following the race in the PL group and was also greater than the CJ group (P < 0.05). No URTS were reported in the CJ group whereas 50 % of runners in the PL group reported URTS at 24 h and 48 h post-Marathon. Conclusions: This is the first study that provides encouraging evidence of the potential role of Montmorency cherries in reducing the development of URTS post-Marathon possibly caused by exercise-induced hyperventilation trauma, and/or other infectious and non-infectious factors

Design, conduct, analysis and reporting of a multi-national placebo-controlled trial of activated protein C for persistent septic shock

The role of drotrecogin alfa (activated) (DAA) in severe sepsis remains controversial and clinicians are unsure whether or not to treat their patients with DAA. In response to a request from the European Medicines Agency, Eli Lilly will sponsor a new placebo-controlled trial and history suggests the results will be subject to great scrutiny. An academic steering committee will oversee the conduct of the study and will write the study manuscripts. The steering committee intends that the study will be conducted with the maximum possible transparency; this includes publication of the study protocol and a memorandum of understanding which delineates the role of the sponsor. The trial has the potential to provide clinicians with valuable data but patients will only benefit if clinicians have confidence in the conduct, analysis and reporting of the trial. This special article describes the process by which the trial was developed, major decisions regarding trial design, and plans for independent analysis, interpretation and reporting of the data