The Jua Kali and the Mali-Mali: the informal/formal nexus amongst Kenyan micro enterprises

This paper presents a preliminary exploration of the informal/formal economy nexus and entrepreneurial processes amongst a sample of Kenyan roadside vendors who mostly operate in the informal economy. Using semi-structured interviews, data was collected from sixty street vendors across Kenya. In particular the paper focuses on the relationship between the informal and formal economy and the factors that promote formality amongst micro and small enterprises in developing countries. The paper presents a conceptualization of a potential segmentation of the informal economy, considering the implications of this in terms of base of the pyramid initiatives and the promotion of development through enterprise.

A genome wide association study of mathematical ability reveals an association at chromosome 3q29, a locus associated with autism and learning difficulties: a preliminary study

Mathematical ability is heritable, but few studies have directly investigated its molecular genetic basis. Here we aimed to identify specific genetic contributions to variation in mathematical ability. We carried out a genome wide association scan using pooled DNA in two groups of U.K. samples, based on end of secondary/high school national academic exam achievement: high (n = 419) versus low (n = 183) mathematical ability while controlling for their verbal ability. Significant differences in allele frequencies between these groups were searched for in 906,600 SNPs using the Affymetrix GeneChip Human Mapping version 6.0 array. After meeting a threshold of p<1.5×10-5, 12 SNPs from the pooled association analysis were individually genotyped in 542 of the participants and analyzed to validate the initial associations (lowest p-value 1.14 ×10-6). In this analysis, one of the SNPs (rs789859) showed significant association after Bonferroni correction, and four (rs10873824, rs4144887, rs12130910 rs2809115) were nominally significant (lowest p-value 3.278 × 10-4). Three of the SNPs of interest are located within, or near to, known genes (FAM43A, SFT2D1, C14orf64). The SNP that showed the strongest association, rs789859, is located in a region on chromosome 3q29 that has been previously linked to learning difficulties and autism. rs789859 lies 1.3 kbp downstream of LSG1, and 700 bp upstream of FAM43A, mapping within the potential promoter/regulatory region of the latter. To our knowledge, this is only the second study to investigate the association of genetic variants with mathematical ability, and it highlights a number of interesting markers for future study.

Language and interaction in online asynchronous communication in university level English courses

Interaction involves people communicating and reacting to each other. This process is key to the study of discourse, but it is not easy to study systematically how interaction takes place in a specific communicative event, or how it is typically performed over a series of repeated communicative events. However, with a written record of the interaction, it becomes possible to study the process in some detail. This thesis investigates interaction through asynchronous written discussion forums in a computer-mediated learning environment. In particular, this study investigates pragmatic aspects of the communicative event which the asynchronous online discussions comprise. The first case study examines response patterns to messages by looking at the content of initial messages and responses, in order to determine the extent to which characteristics of the messages themselves or other situational factors affect the interaction. The second study examines in what ways participants use a range of discourse devices, including formulaic politeness, humour and supportive feedback as community building strategies in the interaction. The third study investigates the role of the subject line of messages in the interaction, for example by examining how participants choose different types of subject lines for different types of messages. The fourth study examines to what extent features serving a deictic function are drawn on in the interaction and then compares the findings to both oral conversation and formal academic discourse. The overall findings show a complex communicative situation shaped by the medium itself, type of activity, the academic discipline and topic of discussion and by the social and cultural aspects of tertiary education in an online learning environment. In addition, the findings may also provide evidence of learning.  

Herbrand's Theorem and Equational Reasoning: Problems and Solutions

The famous Herbrand's theorem of mathematical logic plays an important role in automated theorem proving. In the first part of this article, we recall the theorem and formulate a number of natural decision problems related to it. Somewhat surprisingly, these problems happen to be equivalent. One of these problems is the so-called simultaneous rigid E-unification problem. In the second part, we survey recent result on the simultaneous rigid E-unification problem.

'Off with his head!' : Inexplicable Faith in Bulgakov's Master and Margarita

Examining how, in the novel, Bulgakov shows the conflict between logic and faith through the actions of his characters : the characters who are logical are generally not portrayed as wise and are said to not appreciate, nor understand, faith.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

Um estudo sobre as origens da Lógica Matemáitca

The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her

Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

On non-linear dynamics and control designs applied to the ideal and non-ideal variants of the Fitzhugh-Nagumo (FN) mathematical model

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

On non-linear dynamics and an optimal control synthesis of the action potential of membranes (ideal and non-ideal cases) of the Hodgkin-Huxley (HH) mathematical model

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Etnomatemática quilombola: as relações dos saberes da matemática dialógica com as práticas socioculturais dos remanescentes de quilombo do Mola-Itapocu/PA

A pesquisa, etnomatemática quilombola: as relações dos saberes da matemática dialógica com as práticas socioculturais dos remanescentes de quilombo do Mola-Itapocu/PA, realizada de junho de 2003 a dezembro de 2004, foi norteada no estudo de caso etnográfico. O questionamento básico dessa dissertação expressa a preocupação de como se estabelecer relações entre as práticas socioculturais das teias de saberes matemáticos com a matemática escolar, sem negar os seus significados e o(s) seu(s) sentido(s), que são vivenciados na (re)construção das memórias cotidianas dos remanescentes de quilombo molense? Esta investigação teve como objetivos: identificar os significados, atribuídos pelos molenses, às suas práticas socioculturais, conectadas aos saberes matemáticos da cultura local, e estabelecer algumas relações entre a matemática escolar e a matemática praticada pelos remanescentes de quilombo do Mola-Itapocu/PA, sem dispensar os seus significados e o(s) sentido(s) das memórias das vivências cotidianas do contexto particular. No capítulo I, teço reflexões críticas acerca das relações entre as práticas da vida cotidiana e os saberes etnomatemáticos, relacionadas às memórias das vivências dos remanescentes de quilombo do Mola. Inicio tecendo memórias da matemática não escolar, seguidas dos saberes plurais das práticas matemáticas; depois, lanço olhares por dentro das investidas positivistas, para evidenciar como teias investidas negam a vida cotidiana dos saberes etnomatemáticos, por último, visito os olhares escolares lançados sobre os saberes etnomatemáticos. No capítulo II, faço uma breve análise das diferentes racionalidades presentes nas (etno)ciências, desvelando as faces da etnociência, ciência moderna e da ciência pós-moderna. No terceiro capítulo, construo a análise sob as convergências e as divergências entre os saberes matemáticos e a matemática escolar, vinculadas às teias: caminhando em terrenos áridos da lógica formal matemática; aos saberes etnomatemáticos; as reentrâncias das etnomatemáticas com a complexidade da vida e a lógica dialógica da etnomatemática. No quarto, evidencio as diferenças existentes entre a pesquisa experimental positivista e a pesquisa qualitativa, para, em seguida, tecer as possíveis relações dialógicas da pesquisa etnográfica com a etnomatemática, e no quinto, com base nas falas e nas observações das vivências socioculturais e os saberes matemáticos dos informantes, estabeleço algumas relações entre os saberes locais da matemática molense e a matemática escolar. Neste contexto, começo revisitando brevemente a história da educação do campo; seguida das teias das relações entre as práticas socioculturais e a matemática dialógica dos molenses; por último, teço a alfabetização das teias de saberes matemáticos e de saberes das práticas socioculturais. A etnomatemática quilombola, incessantemente, construída nas relações da matemática dialógica com as práticas educativas molenses, evidenciou a linguagem, as memórias e as representações dos saberes matemáticos e etnocientífico, articulada às possíveis relações com os saberes da matemática escolar do ensino multisseriado.

O aprendizado de regras matemáticas: uma pesquisa de inspiração wittgensteiniana com crianças da 4ª série no estudo da divisão

Neste trabalho, investigamos o aprendizado de regras matemáticas no contexto da sala de aula, com ênfase, principalmente, nas discussões sobre a linguagem. Nosso objetivo principal foi pesquisar as dificuldades de ordem lingüística, enfrentadas pelos alunos no decurso do aprendizado das regras matemáticas, em especial, o conceito/algoritmo da divisão. Para tanto, discutimos, entre outras coisas, o tema “seguir regras”, proposto pelo filósofo austríaco Ludwig Wittgenstein em sua obra Investigações Filosóficas. Nosso trabalho e nossas análises foram fundamentadas, principalmente, na filosofia deste autor, que discute, entre outros temas, a linguagem e sua significação e os fundamentos da matemática, bem como nas reflexões do filósofo Gilles-Gaston Granger que analisa as linguagens formais. Realizamos uma pesquisa de campo que foi desenvolvida na Escola de Aplicação da Universidade Federal do Pará, em uma turma da quarta série do ensino fundamental. As aulas ministradas pela professora da turma foram observadas e, posteriormente, foi solicitado aos alunos que resolvessem problemas de divisão verbais e não-verbais, seguido de uma breve entrevista, na qual indagamos, entre outras questões, como os alunos resolveram os problemas envolvendo a divisão. Em nossas análises destacamos algumas dificuldades dos alunos, percebidas nas observações e em seus registros escritos ou orais: alguns alunos, em suas estratégias de resolução, inventam novas “regras matemáticas”. Há ainda aqueles que “confundem” os contextos na resolução de problemas matemáticos verbais, bem como a dificuldade de compreensão de problemas que trazem informações implícitas.