Altri hanno già fornito buone (e cattive) ragioni per scrivere dimostrazioni concise, ma dal momento che hai intenzione di pubblicare tu stesso, condividerò il mio approccio quando scriverò articoli.
Come autore , devi soddisfare tipi di lettori molto diversi, da studenti universitari a ricercatori di grande esperienza che lavorano esattamente nel tuo campo di ricerca. Ma anche per una singola persona, sono necessari diversi livelli di astrazione, perché io (e sicuramente molti altri) leggo i documenti dall'alto verso il basso:
Quando leggo un articolo per la prima volta, salto completamente le prove. Troppe prove lunghe e ho problemi a ottenere il quadro generale. Poi scorro le dimostrazioni, cercando le idee principali di esse. Questo passaggio sarebbe davvero fastidioso se ci fossero troppi passaggi. Guardo le prove in dettaglio solo se sono interessanti per supportare la mia ricerca, rivedo l'articolo o qualcosa è sospetto¹. In questo passaggio finale, sono felice di ogni dettaglio che mi fa risparmiare tempo e fatica.
Come affrontare le diverse esigenze?
Il mio approccio abituale per la pubblicazione di bozze è il seguente.
-
Uso carta e penna per costruire la prova. Ciò si traduce in un enorme mucchio di spazzatura illeggibile, ma a un certo punto sono abbastanza sicuro che la mia prova funzioni.
-
Con le idee ancora fresche in mente, scrivo il prova completa in una forma pubblicabile, cioè in LaTeX², inclusa ogni conversione che (a mio parere) è necessaria affinché uno studente universitario comprenda direttamente ogni passaggio.
-
Con la dimostrazione completa su mano, ora può essere condensato. Ad esempio, presentando solo passaggi di altissimo livello nella parte principale del paper (forse solo il risultato finale e una descrizione testuale delle idee dimostrative) e una versione moderatamente condensata in appendice che tralascia tutti i passaggi che sembrano banali.
-
La dimostrazione completa dovrebbe essere presentata come materiale supplementare se consentito dalla rivista (vedi sotto per un'alternativa).
Ovviamente, il secondo passaggio richiede uno sforzo in più rispetto al passare direttamente dal mucchio di immondizia illeggibile alla forma più condensata. Tuttavia, a lungo andare ripaga:
-
Scrivendo ogni singolo passaggio in una forma chiaramente leggibile, molti errori vengono riconosciuti direttamente. Altrimenti, spreca il tempo del tuo supervisore, dei tuoi revisori e (se l'articolo viene pubblicato con l'errore) altri ricercatori, per non parlare della vergogna e dell'impegno quando l'errore viene infine rilevato.
-
Anche se ora comprendi chiaramente i tuoi appunti scritti a mano e la tua pubblicazione, non sarà così dopo un anno (se riesci anche a trovarli). Quindi devi perdere tempo per rifare il tuo lavoro.
-
Se vengono pubblicate prove più dettagliate come materiale supplementare, alla fine risparmierai tempo per tutti.
-
Ultimo ma non meno importante, migliora la credibilità del tuo lavoro. Anche se solo una minima parte dei tuoi lettori trarrà beneficio o addirittura leggerà la tua versione dettagliata, si fidano di più di te se vedono che hai una prova completa come materiale supplementare³.
E se non posso inviare materiale supplementare?
Nel mio campo di ricerca, solo una piccola parte delle riviste e delle conferenze consente l'invio di materiale supplementare. Un'alternativa è inviare materiale supplementare ad es. arXiv.org. Con un buon tempismo, puoi anche citare reciprocamente il documento originale e il materiale supplementare. Non dovresti usare un sito web personale perché è alta la probabilità che non sia accessibile per molto tempo.
Sfortunatamente, questo è molto difficile in un processo di revisione in doppio cieco. Sarebbe molto meglio se la presentazione di materiale supplementare fosse ampiamente disponibile in ogni rivista e ogni conferenza.
¹ Il messaggio "Deve essere sbagliato!" effetto. Potresti pensare che tralasciare i passaggi di prova ti aiuterà come autore in questo caso. Al contrario, aumenta l'incentivo a dimostrare che hai torto.
² Se non ti piace scrivere formule lunghe e complesse con LaTeX: Mia moglie è molto contenta di LyX. Sub >
³ Nessuna scusa per nascondere una dimostrazione sbagliata utilizzando una quantità eccessiva di formule. Alla fine verrà rilevato.